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,018 workflow runs
1,018 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3597: Pull request #8562 synchronize by remi-delmas-3000
2m 5s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
2m 5s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3596: Pull request #8562 synchronize by remi-delmas-3000
1m 38s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
1m 38s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3595: Pull request #8562 synchronize by remi-delmas-3000
2m 18s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
2m 18s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3594: Pull request #8562 opened by remi-delmas-3000
16m 49s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
16m 49s
bump clang-format to clang-15 Build and Test the Rust API #3593: Pull request #8561 synchronize by kroening
24m 37s bump-clang-format
bump-clang-format
24m 37s
bump clang-format to clang-15 Build and Test the Rust API #3592: Pull request #8561 synchronize by kroening
1m 39s bump-clang-format
bump-clang-format
1m 39s
bump clang-format to clang-15 Build and Test the Rust API #3591: Pull request #8561 opened by kroening
23m 18s bump-clang-format
bump-clang-format
23m 18s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3590: Pull request #8538 synchronize by kroening
9m 57s round_to_integral
round_to_integral
9m 57s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3589: Pull request #8538 synchronize by kroening
10m 12s round_to_integral
round_to_integral
10m 12s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3588: Pull request #8538 synchronize by kroening
1h 7m 56s round_to_integral
round_to_integral
1h 7m 56s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3587: Pull request #8550 synchronize by kroening
49m 57s ieee_float_valuet
ieee_float_valuet
49m 57s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3586: Pull request #8550 synchronize by kroening
1h 13m 12s ieee_float_valuet
ieee_float_valuet
1h 13m 12s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3585: Pull request #8538 synchronize by kroening
33m 9s round_to_integral
round_to_integral
33m 9s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3584: Pull request #8550 synchronize by kroening
28m 1s ieee_float_valuet
ieee_float_valuet
28m 1s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3583: Pull request #8550 synchronize by kroening
12m 57s ieee_float_valuet
ieee_float_valuet
12m 57s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3582: Pull request #8550 synchronize by kroening
10m 52s ieee_float_valuet
ieee_float_valuet
10m 52s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3581: Pull request #8538 synchronize by kroening
11m 35s round_to_integral
round_to_integral
11m 35s
introduce __CPROVER_map type Build and Test the Rust API #3580: Pull request #7096 synchronize by kroening
4m 37s map_type
map_type
4m 37s
introduce __CPROVER_map type Build and Test the Rust API #3579: Pull request #7096 synchronize by kroening
8m 52s map_type
map_type
8m 52s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3578: Pull request #8515 synchronize by kroening
5m 8s TiesToAway
TiesToAway
5m 8s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3577: Pull request #8550 synchronize by kroening
4m 54s ieee_float_valuet
ieee_float_valuet
4m 54s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Build and Test the Rust API #3576: Commit 36b2335 pushed by tautschnig
1m 54s develop
develop
1m 54s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Build and Test the Rust API #3575: Pull request #8559 synchronize by xokdvium
2m 16s dev/fix-char-traits-utf32
dev/fix-char-traits-utf32
2m 16s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Build and Test the Rust API #3574: Pull request #8559 opened by xokdvium
2m 16s dev/fix-char-traits-utf32
dev/fix-char-traits-utf32
2m 16s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3573: Pull request #8538 synchronize by kroening
18m 20s round_to_integral
round_to_integral
18m 20s
ProTip! You can narrow down the results and go further in time using created:<2025-01-06 or the other filters available.