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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Compile Java regression test sources (4/n) Build and Test the Rust API #3555: Pull request #8553 synchronize by peterschrammel
January 3, 2025 10:54 1m 37s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 10:54 1m 37s
Compile Java regression test sources (4/n) Build and Test the Rust API #3554: Pull request #8553 synchronize by peterschrammel
January 3, 2025 09:54 10m 9s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 09:54 10m 9s
Compile Java regression test sources (3/n) Build and Test the Rust API #3553: Pull request #8549 synchronize by peterschrammel
January 2, 2025 20:18 37m 27s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
January 2, 2025 20:18 37m 27s
Compile Java regression test sources (2/n) Build and Test the Rust API #3552: Pull request #8548 synchronize by peterschrammel
January 2, 2025 20:18 3m 18s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
January 2, 2025 20:18 3m 18s
Merge pull request #8487 from peterschrammel/ps/compile-java-regressi… Build and Test the Rust API #3551: Commit 2d63d9b pushed by peterschrammel
January 2, 2025 20:17 1m 47s develop
develop
January 2, 2025 20:17 1m 47s
Compile Java regression test sources (4/n) Build and Test the Rust API #3550: Pull request #8553 opened by peterschrammel
January 2, 2025 20:16 2m 13s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 2, 2025 20:16 2m 13s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3549: Pull request #8550 synchronize by kroening
January 2, 2025 13:54 1h 14m 14s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:54 1h 14m 14s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3548: Pull request #8550 synchronize by kroening
January 2, 2025 13:53 54m 28s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:53 54m 28s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3547: Pull request #8550 synchronize by kroening
January 2, 2025 13:41 1h 2m 27s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:41 1h 2m 27s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3546: Pull request #8538 synchronize by kroening
January 2, 2025 13:28 42m 35s round_to_integral
round_to_integral
January 2, 2025 13:28 42m 35s
Merge pull request #8552 from diffblue/ieee_floatt_one Build and Test the Rust API #3545: Commit b3e9976 pushed by kroening
January 2, 2025 12:51 1h 12m 9s develop
develop
January 2, 2025 12:51 1h 12m 9s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3544: Pull request #8538 synchronize by kroening
January 2, 2025 12:22 1h 21m 26s round_to_integral
round_to_integral
January 2, 2025 12:22 1h 21m 26s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3543: Pull request #8538 synchronize by kroening
January 2, 2025 12:20 1h 28m 22s round_to_integral
round_to_integral
January 2, 2025 12:20 1h 28m 22s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3542: Pull request #8538 synchronize by kroening
January 2, 2025 11:35 2h 1m 7s round_to_integral
round_to_integral
January 2, 2025 11:35 2h 1m 7s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3541: Pull request #8515 synchronize by kroening
January 2, 2025 11:01 1h 57m 56s TiesToAway
TiesToAway
January 2, 2025 11:01 1h 57m 56s
Merge pull request #8539 from diffblue/smt2-rounding-modes Build and Test the Rust API #3540: Commit 1102fa1 pushed by kroening
January 2, 2025 10:56 1h 57m 8s develop
develop
January 2, 2025 10:56 1h 57m 8s
ieee_floatt::one(...) Build and Test the Rust API #3539: Pull request #8552 synchronize by kroening
January 2, 2025 10:54 1h 28m 11s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:54 1h 28m 11s