Skip to content

Fix #2210.

Fix #2210. #8043

test-tools

succeeded Jan 22, 2025 in 1m 39s
Set up job
2s
Install OS dependencies
31s
Run actions/checkout@v4
1s
Run actions/download-artifact@v4
1s
Install from nightly tarball
0s
Run cd tests_pkg && sh test.sh
20s
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
19s
Run cd tests_fmt && sh test.sh
0s
Run futhark doc -o prelude-docs /dev/null
0s
Run actions/upload-artifact@v4
1s
Post Run actions/checkout@v4
0s
Complete job
0s