[Old] Rewrite WISL lifter, debugging tweaks #906
NatKarmiosci.yml
on: pull_request
Matrix: build
build-docker
24m 20s
deploy-docs
0s
Matrix: collections-c
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: kanillian_c_tests
Matrix: test262
Annotations
1 error
|
gillian_c_tests (ubuntu-latest)
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Linux-docs
Expired
|
12.8 MB |
|
|
Linux-release
Expired
|
117 MB |
|
|
macOS-release
Expired
|
95.6 MB |
|