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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

introduce __CPROVER_map type Build and Test the Rust API #3580: Pull request #7096 synchronize by kroening
January 9, 2025 02:21 4m 37s map_type
map_type
January 9, 2025 02:21 4m 37s
introduce __CPROVER_map type Build and Test the Rust API #3579: Pull request #7096 synchronize by kroening
January 9, 2025 02:20 8m 52s map_type
map_type
January 9, 2025 02:20 8m 52s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3578: Pull request #8515 synchronize by kroening
January 9, 2025 01:22 5m 8s TiesToAway
TiesToAway
January 9, 2025 01:22 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
January 9, 2025 01:16 4m 54s ieee_float_valuet
ieee_float_valuet
January 9, 2025 01:16 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
January 7, 2025 19:49 1m 54s develop
develop
January 7, 2025 19:49 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
January 7, 2025 18:54 2m 16s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 7, 2025 18:54 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
January 6, 2025 18:48 2m 16s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 6, 2025 18:48 2m 16s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3573: Pull request #8538 synchronize by kroening
January 6, 2025 16:53 18m 20s round_to_integral
round_to_integral
January 6, 2025 16:53 18m 20s
line number for files with no newline Build and Test the Rust API #3572: Pull request #8558 synchronize by kroening
January 6, 2025 14:28 2m 14s parser_line_no
parser_line_no
January 6, 2025 14:28 2m 14s
line number for files with no newline Build and Test the Rust API #3571: Pull request #8558 opened by kroening
January 6, 2025 10:07 2m 42s parser_line_no
parser_line_no
January 6, 2025 10:07 2m 42s
Merge pull request #8553 from peterschrammel/ps/compile-java-regressi… Build and Test the Rust API #3570: Commit 5ae1452 pushed by peterschrammel
January 6, 2025 09:30 16m 40s develop
develop
January 6, 2025 09:30 16m 40s
Compile Java regression test sources (5/n) Build and Test the Rust API #3569: Pull request #8556 synchronize by peterschrammel
January 5, 2025 16:25 1m 38s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 16:25 1m 38s
Compile Java regression test sources (5/n) Build and Test the Rust API #3568: Pull request #8556 synchronize by peterschrammel
January 5, 2025 14:56 1m 43s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 14:56 1m 43s
Compile Java regression test sources (4/n) Build and Test the Rust API #3567: Pull request #8553 synchronize by peterschrammel
January 4, 2025 18:04 1m 47s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 18:04 1m 47s
Compile Java regression test sources (5/n) Build and Test the Rust API #3566: Pull request #8556 opened by peterschrammel
January 4, 2025 18:03 1m 39s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 4, 2025 18:03 1m 39s
Compile Java regression test sources (4/n) Build and Test the Rust API #3565: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:09 1m 47s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:09 1m 47s
Compile Java regression test sources (4/n) Build and Test the Rust API #3564: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:03 3m 34s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:03 3m 34s
Merge pull request #8554 from remi-delmas-3000/contracts-MIR-storage-… Build and Test the Rust API #3563: Commit 1e99418 pushed by tautschnig
January 3, 2025 21:26 2m 24s develop
develop
January 3, 2025 21:26 2m 24s
Compile Java regression test sources (4/n) Build and Test the Rust API #3562: Pull request #8553 synchronize by peterschrammel
January 3, 2025 20:48 1m 52s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 20:48 1m 52s
CONTRACTS: ignore __CPROVER_dead_object assignments Build and Test the Rust API #3561: Pull request #8554 synchronize by remi-delmas-3000
January 3, 2025 17:54 2m 2s remi-delmas-3000:contracts-MIR-storage-live-dead
remi-delmas-3000:contracts-MIR-storage-live-dead
January 3, 2025 17:54 2m 2s
CONTRACTS: ignore __CPROVER_dead_object assignments Build and Test the Rust API #3560: Pull request #8554 opened by remi-delmas-3000
January 3, 2025 17:45 2m 11s remi-delmas-3000:contracts-MIR-storage-live-dead
remi-delmas-3000:contracts-MIR-storage-live-dead
January 3, 2025 17:45 2m 11s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3559: Pull request #8550 synchronize by kroening
January 3, 2025 14:34 4m 56s ieee_float_valuet
ieee_float_valuet
January 3, 2025 14:34 4m 56s
Merge pull request #8546 from diffblue/show-local-bitvector Build and Test the Rust API #3558: Commit 7b45085 pushed by tautschnig
January 3, 2025 13:12 13m 45s develop
develop
January 3, 2025 13:12 13m 45s
Merge pull request #8549 from peterschrammel/ps/compile-java-regressi… Build and Test the Rust API #3557: Commit 189e49b pushed by tautschnig
January 3, 2025 13:10 10m 30s develop
develop
January 3, 2025 13:10 10m 30s
Merge pull request #8548 from peterschrammel/ps/compile-java-regressi… Build and Test the Rust API #3556: Commit 736fb6e pushed by tautschnig
January 3, 2025 13:09 10m 19s develop
develop
January 3, 2025 13:09 10m 19s