Skip to content

Actions: diffblue/cbmc

Actions

Build and Test the Rust API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-check-rust-api.yaml
1,014 workflow runs
1,014 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move unwindset.{h,cpp} to goto-programs Build and Test the Rust API #3894: Pull request #8645 synchronize by tautschnig
1h 35m 44s tautschnig:move-unwindsett
tautschnig:move-unwindsett
1h 35m 44s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3893: Pull request #8642 synchronize by tautschnig
36m 2s tautschnig:simp-value-set
tautschnig:simp-value-set
36m 2s
Make goto_symext::language_mode protected Build and Test the Rust API #3892: Pull request #8646 opened by tautschnig
56m 25s tautschnig:language_mode-protected
tautschnig:language_mode-protected
56m 25s
Move unwindset.{h,cpp} to goto-programs Build and Test the Rust API #3891: Pull request #8645 opened by tautschnig
17m 0s tautschnig:move-unwindsett
tautschnig:move-unwindsett
17m 0s
unwindsett: goto_model is only needed for options processing Build and Test the Rust API #3890: Pull request #8643 synchronize by tautschnig
2m 3s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
2m 3s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3889: Pull request #8642 synchronize by tautschnig
2m 55s tautschnig:simp-value-set
tautschnig:simp-value-set
2m 55s
goto-checker no longer depends on cbmc Build and Test the Rust API #3888: Pull request #8644 opened by tautschnig
12m 35s tautschnig:goto-checker-dep
tautschnig:goto-checker-dep
12m 35s
unwindsett: goto_model is only needed for options processing Build and Test the Rust API #3887: Pull request #8643 opened by tautschnig
13m 5s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
13m 5s
Merge pull request #8641 from diffblue/shell-quote-fix Build and Test the Rust API #3886: Commit 50be009 pushed by kroening
10m 32s develop
develop
10m 32s
fix shell quoting Build and Test the Rust API #3885: Pull request #8641 synchronize by kroening
1m 59s shell-quote-fix
shell-quote-fix
1m 59s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3884: Pull request #8642 opened by tautschnig
14m 47s tautschnig:simp-value-set
tautschnig:simp-value-set
14m 47s
fix shell quoting Build and Test the Rust API #3883: Pull request #8641 synchronize by kroening
1m 51s shell-quote-fix
shell-quote-fix
1m 51s
fix shell quoting Build and Test the Rust API #3882: Pull request #8641 synchronize by kroening
1m 30s shell-quote-fix
shell-quote-fix
1m 30s
fix shell quoting Build and Test the Rust API #3881: Pull request #8641 synchronize by kroening
11m 46s shell-quote-fix
shell-quote-fix
11m 46s
fix shell quoting Build and Test the Rust API #3880: Pull request #8641 opened by kroening
11m 42s shell-quote-fix
shell-quote-fix
11m 42s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3879: Pull request #8636 synchronize by lks9
12m 27s lks9:retrace_feature
lks9:retrace_feature
12m 27s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3878: Pull request #8636 synchronize by lks9
1m 34s lks9:retrace_feature
lks9:retrace_feature
1m 34s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3877: Pull request #8636 synchronize by lks9
2m 5s lks9:retrace_feature
lks9:retrace_feature
2m 5s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3876: Pull request #8636 synchronize by lks9
2m 8s lks9:retrace_feature
lks9:retrace_feature
2m 8s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3875: Pull request #8636 synchronize by lks9
1m 43s lks9:retrace_feature
lks9:retrace_feature
1m 43s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3874: Pull request #8636 synchronize by lks9
1m 42s lks9:retrace_feature
lks9:retrace_feature
1m 42s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3873: Pull request #8636 synchronize by lks9
2m 3s lks9:retrace_feature
lks9:retrace_feature
2m 3s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3872: Pull request #8636 synchronize by lks9
1m 49s lks9:retrace_feature
lks9:retrace_feature
1m 49s
DRAFT: Control Flow Retrace feature Build and Test the Rust API #3871: Pull request #8636 opened by lks9
12m 23s lks9:retrace_feature
lks9:retrace_feature
12m 23s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3870: Pull request #8572 synchronize by tautschnig
33m 50s tautschnig:arm-ci
tautschnig:arm-ci
33m 50s
ProTip! You can narrow down the results and go further in time using created:<2025-04-29 or the other filters available.