Merge pull request #748 from diffblue/generate-for3 #2553
tautschnigpull-request-checks.yaml
on: push
check-ubuntu-20_04-make-clang
1m 51s
check-ubuntu-20_04-make-gcc
1m 29s
CentOS 8
1m 6s
check-macos-14-make-clang
2m 1s
Emscripten build
1m 9s
check-vs-2022-make-build-and-test
14m 28s
benchmarking
3m 39s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ebmc-binary
Expired
|
2.25 MB |
|