diff --git a/.github/build.sh b/.github/build.sh new file mode 100755 index 000000000..00e8b5336 --- /dev/null +++ b/.github/build.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash + +wrap_task() { + echo "::group::$@" + "$@" + echo '::endgroup::' +} + +wrap_task ./autoconf.sh +wrap_task ./configure +wrap_task make install + +which iverilog + +wrap_task make check diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index b62d8df78..3104733d4 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -61,9 +61,6 @@ jobs: run: | export mingw64='cmd //C RefreshEnv.cmd & set MSYS=winsymlinks:nativestrict & C:\\msys64\\msys2_shell.cmd -defterm -no-start -mingw64 -full-path -here -c "$@" --' - $mingw64 ./autoconf.sh - $mingw64 ./configure - $mingw64 make install - $mingw64 make check + $mingw64 ./.github/build.sh $mingw64 ./.github/test.sh