Replace int -> _Bool in goblint stubs arguments #12817
sim642locked.yml
on: push
Matrix: extraction
Matrix: gobview
Matrix: regression
Annotations
2 errors
|
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
|
|
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
suite_result-macos-13
Expired
|
2.81 MB |
sha256:c2b895ec7e8c3ad2a43117b04b89116ef11e241e94fa2ff28054b2878f197967
|
|
|
suite_result-ubuntu-22.04
Expired
|
2.8 MB |
sha256:f0c5958de1fc42efccf0d925f7147eb6f6c0ed66164663483733064e857c5b85
|
|