mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 09:50:35 +03:00
CI: Add macOS case for test-lib outputs
This commit is contained in:
parent
00d5913a07
commit
e8a9edc071
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
@ -147,6 +147,8 @@ jobs:
|
||||
cmd="cat \$1.stdout"
|
||||
if ${{ runner.os == 'Windows' }}; then
|
||||
cmd="cat \$1.stdout.mingw32 2>/dev/null || $cmd"
|
||||
elif ${{ runner.os == 'macOS' }}; then
|
||||
cmd="cat \$1.stdout.darwin 2>/dev/null || $cmd"
|
||||
fi
|
||||
./bin/test-runner --ext=.icry -r ./output --exe=$(which bash) -F -c -F "$cmd" -F -- ./tests
|
||||
TARGETS_JSON=$(echo -n "$(ls -1 ./output/tests)" | jq -Rsc 'split("\n")')
|
||||
|
Loading…
Reference in New Issue
Block a user