Skip to content

Fix #2199.

Fix #2199. #8005

test-tools

succeeded Dec 11, 2024 in 1m 58s
Set up job
1s
Install OS dependencies
56s
Run actions/checkout@v4
0s
Run actions/download-artifact@v4
2s
Install from nightly tarball
1s
Run cd tests_pkg && sh test.sh
11s
Run cd tests_literate && sh test.sh
14s
Run cd tests_repl && sh test.sh
0s
Run cd tests_bench && sh test.sh
3s
Run cd tests_adhoc && sh test.sh
22s
Run cd tests_fmt && sh test.sh
0s
Run futhark doc -o prelude-docs /dev/null
0s
Run actions/upload-artifact@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s