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

Enable IPO / LTO and -O3 Build and Test the Rust API #3742: Pull request #8146 synchronize by rurban
9m 48s rurban:lto
rurban:lto
9m 48s
simplify: rewrite bitxnor on booleans to equal Build and Test the Rust API #3741: Pull request #8594 synchronize by kroening
1m 42s simplify-bitxnor2
simplify-bitxnor2
1m 42s
Enable IPO / LTO and -O3 Build and Test the Rust API #3738: Pull request #8146 synchronize by rurban
10m 46s rurban:lto
rurban:lto
10m 46s
library-check: fixup missing __builtin_ffs check Build and Test the Rust API #3737: Pull request #8145 synchronize by rurban
2m 13s rurban:ffs
rurban:ffs
2m 13s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3736: Pull request #8597 synchronize by kroening
1m 48s fixup-8538
fixup-8538
1m 48s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3735: Pull request #8597 synchronize by kroening
2m 17s fixup-8538
fixup-8538
2m 17s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3734: Pull request #8597 synchronize by kroening
1m 51s fixup-8538
fixup-8538
1m 51s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Build and Test the Rust API #3733: Commit 159af34 pushed by tautschnig
2m 2s develop
develop
2m 2s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3732: Pull request #8597 synchronize by kroening
1m 58s fixup-8538
fixup-8538
1m 58s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3731: Pull request #8597 synchronize by kroening
1m 46s fixup-8538
fixup-8538
1m 46s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test the Rust API #3730: Pull request #8597 opened by kroening
1m 58s fixup-8538
fixup-8538
1m 58s
Merge pull request #8558 from diffblue/parser_line_no Build and Test the Rust API #3729: Commit be99f47 pushed by kroening
10m 42s develop
develop
10m 42s
line number for files with no newline Build and Test the Rust API #3728: Pull request #8558 synchronize by kroening
2m 20s parser_line_no
parser_line_no
2m 20s
Remove set but not used variables Build and Test the Rust API #3727: Pull request #8595 opened by mgudemann
2m 5s mgudemann:fix/remove_set_but_unused_variables
mgudemann:fix/remove_set_but_unused_variables
2m 5s
line number for files with no newline Build and Test the Rust API #3726: Pull request #8558 synchronize by kroening
2m 20s parser_line_no
parser_line_no
2m 20s
simplify: rewrite bitxnor on booleans to equal Build and Test the Rust API #3725: Pull request #8594 opened by kroening
1m 38s simplify-bitxnor2
simplify-bitxnor2
1m 38s
Merge pull request #8538 from diffblue/round_to_integral Build and Test the Rust API #3724: Commit 0fc8a49 pushed by kroening
13m 26s develop
develop
13m 26s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3723: Pull request #8538 synchronize by kroening
13m 38s round_to_integral
round_to_integral
13m 38s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3722: Pull request #8538 synchronize by kroening
5m 52s round_to_integral
round_to_integral
5m 52s
uninitialized check Build and Test the Rust API #3721: Pull request #8545 synchronize by kroening
2m 3s uninitialized-check
uninitialized-check
2m 3s
line number for files with no newline Build and Test the Rust API #3720: Pull request #8558 synchronize by kroening
15m 50s parser_line_no
parser_line_no
15m 50s
Merge pull request #8590 from diffblue/remove-namespace_baset-follow Build and Test the Rust API #3719: Commit b712143 pushed by kroening
8m 53s develop
develop
8m 53s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3718: Pull request #8538 synchronize by kroening
1m 55s round_to_integral
round_to_integral
1m 55s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3717: Pull request #8538 synchronize by kroening
2m 22s round_to_integral
round_to_integral
2m 22s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3716: Pull request #8538 synchronize by kroening
2m 33s round_to_integral
round_to_integral
2m 33s
ProTip! You can narrow down the results and go further in time using created:<2025-02-11 or the other filters available.