David 09ec3832c8 Improved PR build comment (#1348) ...

* Improved PR build comment
* Update build.yml

Co-authored-by: あく <alleteam@gmail.com>

2022-07-04 00:01:24 +09:00

..

build_toolchain.yml

…

build.yml

Improved PR build comment (#1348)

2022-07-04 00:01:24 +09:00

check_submodules.yml

…

lint_c.yml

…

lint_python.yml

…

reindex.yml

…