Skip to content
CI

[Old] Rewrite WISL lifter, debugging tweaks #906

Sign in to view logs

[Old] Rewrite WISL lifter, debugging tweaks

[Old] Rewrite WISL lifter, debugging tweaks #906

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker
24m 20s
build-docker
24m 20s
build (macos-latest)
40m 5s
build (macos-latest)
40m 5s
build (ubuntu-latest)
23m 3s
build (ubuntu-latest)
23m 3s
gillian_c_tests (ubuntu-latest)
4m 39s
gillian_c_tests (ubuntu-latest)
4m 40s
gillian_js_tests (ubuntu-latest)
23s
gillian_js_tests (ubuntu-latest)
23s
deploy-docs
0s
deploy-docs
0s
collections-c (ubuntu-latest)
1m 26s
collections-c (ubuntu-latest)
1m 26s
test262 (ubuntu-latest)
37m 43s
test262 (ubuntu-latest)
37m 43s
kanillian_c_tests (ubuntu-latest)
19s
kanillian_c_tests (ubuntu-latest)
19s
4h 23m 57s