Skip to content
locked

Replace int -> _Bool in goblint stubs arguments #12851

Sign in to view logs

Replace int -> _Bool in goblint stubs arguments

Replace int -> _Bool in goblint stubs arguments #12851

Triggered via pull request February 18, 2025 13:42
@sim642sim642
synchronize #1684
assert-ptr
Status Success
Total duration 22m 7s
Artifacts 2

locked.yml

on: pull_request
Matrix: extraction
Matrix: gobview
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13 Expired
2.82 MB
sha256:c93acbaf5e7c63e0666317ef5a58bf37d5f5b41ab313967278d821110e387e34
suite_result-ubuntu-22.04 Expired
2.8 MB
sha256:ab792a418ceb31704c6831e561d4654211f8e72b79feec96fb269a3966194c9d