Skip to content

Actions: model-checking/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Scheduled CodeQL #219: by github-advanced-security AI
25m 44s main
main
25m 44s
Use addr_eq in NonNull contracts to support wide pointers Rust Tests #2621: Pull request #626 synchronize by tautschnig
3m 39s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
3m 39s
Use addr_eq in NonNull contracts to support wide pointers Testable simd models #363: Pull request #626 synchronize by tautschnig
5m 6s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
5m 6s
Use addr_eq in NonNull contracts to support wide pointers VeriFast (negative) #1324: Pull request #626 synchronize by tautschnig
36s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
36s
Use addr_eq in NonNull contracts to support wide pointers Run GOTO Transcoder (ESBMC) #1386: Pull request #626 synchronize by tautschnig
14m 10s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
14m 10s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2497: Pull request #626 synchronize by tautschnig
6m 12s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
6m 12s
Use addr_eq in NonNull contracts to support wide pointers VeriFast #1338: Pull request #626 synchronize by tautschnig
41s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
41s
Use addr_eq in NonNull contracts to support wide pointers Flux #599: Pull request #626 synchronize by tautschnig
3m 4s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
3m 4s
Use addr_eq in NonNull contracts to support wide pointers Kani #2662: Pull request #626 synchronize by tautschnig
1h 22m 17s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
1h 22m 17s
Use addr_eq in NonNull contracts to support wide pointers Check PR Approvals #1965: Pull request #626 submitted by Copilot AI
Action required
Action required
Running Copilot Code Review Copilot #7: by Copilot AI
2m 9s main
main
2m 9s
Use addr_eq in NonNull contracts to support wide pointers Flux #598: Pull request #626 opened by tautschnig
3m 9s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
3m 9s
Use addr_eq in NonNull contracts to support wide pointers Rust Tests #2620: Pull request #626 opened by tautschnig
4m 56s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
4m 56s
Use addr_eq in NonNull contracts to support wide pointers Kani #2661: Pull request #626 opened by tautschnig
1h 16m 8s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
1h 16m 8s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2496: Pull request #626 opened by tautschnig
6m 41s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
6m 41s
Use addr_eq in NonNull contracts to support wide pointers VeriFast (negative) #1323: Pull request #626 opened by tautschnig
39s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
39s
Use addr_eq in NonNull contracts to support wide pointers Testable simd models #362: Pull request #626 opened by tautschnig
5m 7s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
5m 7s
Use addr_eq in NonNull contracts to support wide pointers VeriFast #1337: Pull request #626 opened by tautschnig
41s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
41s
Use addr_eq in NonNull contracts to support wide pointers Run GOTO Transcoder (ESBMC) #1385: Pull request #626 opened by tautschnig
14m 29s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
14m 29s
Allow zero-sized offsets on dangling pointers in ptr contracts Check PR Approvals #1964: Pull request #625 submitted by Copilot AI
Action required
Action required
Running Copilot Code Review Copilot #6: by Copilot AI
3m 26s main
main
3m 26s
Allow zero-sized offsets on dangling pointers in ptr contracts Build Book #2495: Pull request #625 opened by tautschnig
5m 38s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
5m 38s
Allow zero-sized offsets on dangling pointers in ptr contracts Rust Tests #2619: Pull request #625 opened by tautschnig
5m 19s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
5m 19s
Allow zero-sized offsets on dangling pointers in ptr contracts Testable simd models #361: Pull request #625 opened by tautschnig
5m 20s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
5m 20s
Allow zero-sized offsets on dangling pointers in ptr contracts VeriFast #1336: Pull request #625 opened by tautschnig
38s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
38s