Tweaks for 2024 lab #1126
NatKarmiosci.yml
on: pull_request
Matrix: build
build-docker
11m 7s
Matrix: collections-c
Matrix: deploy-docs
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: kanillian_c_tests
Matrix: test262
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Linux-docs
|
2.74 MB |
|
|
Linux-opam
|
1.18 GB |
|
|
macOS-opam
|
1.07 GB |
|