Merge pull request #729 from diffblue/continuous_assignment_to_variab… #2490
tautschnigpull-request-checks.yaml
on: push
check-ubuntu-20_04-make-clang
1m 37s
check-ubuntu-20_04-make-gcc
1m 21s
CentOS 8
1m 4s
check-macos-14-make-clang
2m 7s
Emscripten build
44s
check-vs-2022-make-build-and-test
15m 3s
benchmarking
3m 33s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ebmc-binary
|
2.24 MB |
|