Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,686 workflow runs
19,686 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #1138: Scheduled
2h 2m 35s main
main
2h 2m 35s
Nightly: Slow tests Nightly: Slow tests #1249: Scheduled
11m 40s main
main
11m 40s
Attempt toolchain update Attempt toolchain update #1222: Scheduled
2m 31s main
main
2m 31s
Fix float-to-int saturating cast bug Cargo Deny #4572: Pull request #4541 synchronize by tautschnig
2m 55s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
2m 55s
Fix float-to-int saturating cast bug Release Bundle #5892: Pull request #4541 synchronize by tautschnig
22m 13s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
22m 13s
Fix float-to-int saturating cast bug Kani Format Check #12379: Pull request #4541 synchronize by tautschnig
2m 58s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
2m 58s
Fix float-to-int saturating cast bug Kani CI #12548: Pull request #4541 synchronize by tautschnig
57m 21s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
57m 21s
Fix float-to-int saturating cast bug Check Std Verification #2377: Pull request #4541 synchronize by tautschnig
6m 13s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
6m 13s
Fix float-to-int saturating cast bug Kani Extra #4848: Pull request #4541 synchronize by tautschnig
1h 30m 56s
1h 30m 56s
Fix CBMC output parser panic when using SMT solvers Release Bundle #5891: Pull request #4540 synchronize by tautschnig
15m 31s tautschnig:smt-solver-error
tautschnig:smt-solver-error
15m 31s
Fix CBMC output parser panic when using SMT solvers Kani CI #12547: Pull request #4540 synchronize by tautschnig
1h 8m 8s tautschnig:smt-solver-error
tautschnig:smt-solver-error
1h 8m 8s
Fix CBMC output parser panic when using SMT solvers Kani Format Check #12378: Pull request #4540 synchronize by tautschnig
2m 46s tautschnig:smt-solver-error
tautschnig:smt-solver-error
2m 46s
Fix CBMC output parser panic when using SMT solvers Cargo Deny #4571: Pull request #4540 synchronize by tautschnig
1m 38s tautschnig:smt-solver-error
tautschnig:smt-solver-error
1m 38s
Fix CBMC output parser panic when using SMT solvers Check Std Verification #2376: Pull request #4540 synchronize by tautschnig
5m 22s tautschnig:smt-solver-error
tautschnig:smt-solver-error
5m 22s
Fix CBMC output parser panic when using SMT solvers Kani Extra #4847: Pull request #4540 synchronize by tautschnig
1h 40m 13s
1h 40m 13s
Fix atomic compare_exchange to return correct failure status Release Bundle #5890: Pull request #4542 opened by tautschnig
17m 29s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
17m 29s
Fix atomic compare_exchange to return correct failure status Kani CI #12546: Pull request #4542 opened by tautschnig
46m 11s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
46m 11s
Fix atomic compare_exchange to return correct failure status Check Std Verification #2375: Pull request #4542 opened by tautschnig
4m 58s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
4m 58s
Fix atomic compare_exchange to return correct failure status Cargo Deny #4570: Pull request #4542 opened by tautschnig
1m 39s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
1m 39s
Fix atomic compare_exchange to return correct failure status Kani Format Check #12377: Pull request #4542 opened by tautschnig
2m 42s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
2m 42s
Copilot code review Copilot code review #5: by Copilot AI
5m 2s refs/pull/4542/head
refs/pull/4542/head
5m 2s
Fix atomic compare_exchange to return correct failure status Kani Extra #4846: Pull request #4542 opened by tautschnig
1h 33m 24s
1h 33m 24s
Copilot code review Copilot code review #4: by Copilot AI
8m 15s refs/pull/4541/head
refs/pull/4541/head
8m 15s
Fix float-to-int saturating cast bug Release Bundle #5889: Pull request #4541 opened by tautschnig
17m 7s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
17m 7s
Fix float-to-int saturating cast bug Kani Format Check #12376: Pull request #4541 opened by tautschnig
3m 22s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
3m 22s