Merge pull request #728 from diffblue/low1 #2489
tautschnigpull-request-checks.yaml
on: push
check-ubuntu-20_04-make-clang
1m 53s
check-ubuntu-20_04-make-gcc
1m 19s
CentOS 8
56s
check-macos-14-make-clang
2m 2s
Emscripten build
51s
check-vs-2022-make-build-and-test
4m 4s
benchmarking
4m 32s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ebmc-binary
Expired
|
2.24 MB |
|