Transition debugger to SEDAP #1188
ci.yml
on: pull_request
Matrix: build
build-docker
8m 35s
Matrix: collections-c
Matrix: deploy-docs
Matrix: gillian_c2_tests
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: test262
Annotations
1 error
gillian_c2_tests (ubuntu-latest)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Linux-docs
|
3.18 MB |
|
Linux-opam
|
1.14 GB |
|
macOS-opam
|
1 GB |
|