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

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
line number for files with no newline Build and Test the Rust API #3572: Pull request #8558 synchronize by kroening
2m 14s parser_line_no
parser_line_no
2m 14s
line number for files with no newline Build and Test the Rust API #3571: Pull request #8558 opened by kroening
2m 42s parser_line_no
parser_line_no
2m 42s
Merge pull request #8553 from peterschrammel/ps/compile-java-regressi… Build and Test the Rust API #3570: Commit 5ae1452 pushed by peterschrammel
16m 40s develop
develop
16m 40s
Compile Java regression test sources (5/n) Build and Test the Rust API #3569: Pull request #8556 synchronize by peterschrammel
1m 38s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
1m 38s
Compile Java regression test sources (5/n) Build and Test the Rust API #3568: Pull request #8556 synchronize by peterschrammel
1m 43s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
1m 43s
Compile Java regression test sources (4/n) Build and Test the Rust API #3567: Pull request #8553 synchronize by peterschrammel
1m 47s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
1m 47s
Compile Java regression test sources (5/n) Build and Test the Rust API #3566: Pull request #8556 opened by peterschrammel
1m 39s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
1m 39s
Compile Java regression test sources (4/n) Build and Test the Rust API #3565: Pull request #8553 synchronize by peterschrammel
1m 47s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
1m 47s
ProTip! You can narrow down the results and go further in time using created:<2025-01-04 or the other filters available.