Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
862 workflow runs
862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Kani Metrics Rust Tests #1250: Pull request #235 synchronize by carolynzech
January 17, 2025 23:33 7m 0s carolynzech:metrics
carolynzech:metrics
January 17, 2025 23:33 7m 0s
Generate Kani Metrics Rust Tests #1249: Pull request #235 synchronize by carolynzech
January 17, 2025 23:29 7m 3s carolynzech:metrics
carolynzech:metrics
January 17, 2025 23:29 7m 3s
Update fork to upstream's 2025-01-16 status Rust Tests #1248: Pull request #237 synchronize by tautschnig
January 17, 2025 19:04 4m 46s tautschnig:sync-2025-01-16
tautschnig:sync-2025-01-16
January 17, 2025 19:04 4m 46s
Update fork to upstream's 2025-01-16 status Rust Tests #1247: Pull request #237 opened by tautschnig
January 17, 2025 18:41 4m 53s tautschnig:sync-2025-01-16
tautschnig:sync-2025-01-16
January 17, 2025 18:41 4m 53s
Goto-transcoder action Rust Tests #1246: Pull request #236 opened by rafaelsamenezes
January 17, 2025 14:25 9m 11s rafaelsamenezes:main
rafaelsamenezes:main
January 17, 2025 14:25 9m 11s
Generate Kani Metrics Rust Tests #1245: Pull request #235 synchronize by carolynzech
January 16, 2025 14:35 8m 9s carolynzech:metrics
carolynzech:metrics
January 16, 2025 14:35 8m 9s
transmute_unchecked contracts and harnesses Rust Tests #1244: Pull request #185 synchronize by AlexLB99
January 15, 2025 22:39 7m 59s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
January 15, 2025 22:39 7m 59s
transmute_unchecked contracts and harnesses Rust Tests #1243: Pull request #185 synchronize by AlexLB99
January 15, 2025 22:37 8m 3s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
January 15, 2025 22:37 8m 3s
transmute_unchecked contracts and harnesses Rust Tests #1242: Pull request #185 synchronize by AlexLB99
January 15, 2025 22:27 7m 45s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
January 15, 2025 22:27 7m 45s
transmute_unchecked contracts and harnesses Rust Tests #1241: Pull request #185 synchronize by AlexLB99
January 15, 2025 20:21 8m 3s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
January 15, 2025 20:21 8m 3s
Rust Tests Rust Tests #1240: Merge group checks requested
January 14, 2025 16:10 7m 32s
January 14, 2025 16:10 7m 32s
Generate Kani Metrics Rust Tests #1239: Pull request #235 synchronize by carolynzech
January 14, 2025 15:25 10m 23s carolynzech:metrics
carolynzech:metrics
January 14, 2025 15:25 10m 23s
Generate Kani Metrics Rust Tests #1238: Pull request #235 synchronize by carolynzech
January 14, 2025 14:55 9m 0s carolynzech:metrics
carolynzech:metrics
January 14, 2025 14:55 9m 0s
Generate Kani Metrics Rust Tests #1237: Pull request #235 synchronize by carolynzech
January 9, 2025 14:44 8m 50s carolynzech:metrics
carolynzech:metrics
January 9, 2025 14:44 8m 50s
Generate Kani Metrics Rust Tests #1236: Pull request #235 opened by carolynzech
January 8, 2025 22:17 8m 5s carolynzech:metrics
carolynzech:metrics
January 8, 2025 22:17 8m 5s
Add harnesses for safety of primitive conversions Rust Tests #1235: Pull request #233 synchronize by ShoyuVanilla
January 8, 2025 16:38 7m 55s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 8, 2025 16:38 7m 55s
Add harnesses for safety of primitive conversions Rust Tests #1234: Pull request #233 synchronize by ShoyuVanilla
January 5, 2025 08:24 8m 7s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 5, 2025 08:24 8m 7s
Add harnesses for safety of primitive conversions Rust Tests #1233: Pull request #233 synchronize by ShoyuVanilla
January 4, 2025 02:47 7m 31s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 4, 2025 02:47 7m 31s
Add harnesses for safety of primitive conversions Rust Tests #1232: Pull request #233 synchronize by ShoyuVanilla
January 4, 2025 02:06 4m 42s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 4, 2025 02:06 4m 42s
Add harnesses for safety of primitive conversions Rust Tests #1231: Pull request #233 synchronize by ShoyuVanilla
January 4, 2025 01:35 4m 1s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 4, 2025 01:35 4m 1s
Run format check in our CI and fix repo format (#205) Rust Tests #1230: Commit 2b2baa8 pushed by github-merge-queue bot
January 4, 2025 01:18 8m 0s main
main
January 4, 2025 01:18 8m 0s
Run format check in our CI and fix repo format (#205) Rust Tests #1229: Commit 2b2baa8 pushed by github-merge-queue bot
January 4, 2025 00:33 6m 54s gh-readonly-queue/main/pr-205-1a38674ad6753e3a78e0181d1fe613f3b25ebacd
gh-readonly-queue/main/pr-205-1a38674ad6753e3a78e0181d1fe613f3b25ebacd
January 4, 2025 00:33 6m 54s
Rust Tests Rust Tests #1228: Merge group checks requested
January 4, 2025 00:33 8m 59s
January 4, 2025 00:33 8m 59s
Add harnesses for safety of primitive conversions Rust Tests #1227: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 23:54 6m 1s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 23:54 6m 1s
Run format check in our CI and fix repo format Rust Tests #1226: Pull request #205 synchronize by celinval
January 3, 2025 23:54 7m 31s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 23:54 7m 31s