Skip to content

Actions: jaisnan/rust-dev

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try with bash Rust Tests #13: Commit f35e6fa pushed by jaisnan
July 30, 2024 23:05 18s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:05 18s
Test with github workspace Rust Tests #12: Commit 038f91f pushed by jaisnan
July 30, 2024 22:59 15s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 22:59 15s
test CI with scripts Rust Tests #11: Commit 2798a46 pushed by jaisnan
July 30, 2024 22:48 21s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 22:48 21s
check with updated scripts with local paths Rust Tests #10: Commit 72160bc pushed by jaisnan
July 26, 2024 21:36 11m 32s sync-2024-07-21
sync-2024-07-21
July 26, 2024 21:36 11m 32s
Update toolchain to 07-17 Rust Tests #9: Commit b0cc943 pushed by jaisnan
July 18, 2024 15:42 12m 12s sync-2024-07-17-backup
sync-2024-07-17-backup
July 18, 2024 15:42 12m 12s
Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-202… Rust Tests #8: Commit 723914d pushed by jaisnan
July 17, 2024 21:59 9m 41s sync-2024-07-17-backup
sync-2024-07-17-backup
July 17, 2024 21:59 9m 41s
Merge commit 'c4da0c4f57e2e9c38f273b369d43394a8522e600' into sync-202… Rust Tests #7: Commit d6dc135 pushed by jaisnan
July 17, 2024 21:20 8m 56s sync-2024-07-17
sync-2024-07-17
July 17, 2024 21:20 8m 56s
Add first proof Rust Tests #6: Commit e351be9 pushed by jaisnan
July 10, 2024 21:33 10m 54s add-result-contract
add-result-contract
July 10, 2024 21:33 10m 54s
Check for committee among the PR approval Rust Tests #5: Commit 20c6114 pushed by jaisnan
June 26, 2024 16:24 14m 43s test-pr-approval-workflow
test-pr-approval-workflow
June 26, 2024 16:24 14m 43s
Remove license info as well Rust Tests #4: Commit b41e2df pushed by jaisnan
June 25, 2024 17:59 11m 59s remove-copyright
remove-copyright
June 25, 2024 17:59 11m 59s
Remove copyright strings Rust Tests #3: Commit 4b5b6a9 pushed by jaisnan
June 25, 2024 15:33 13m 49s remove-copyright
remove-copyright
June 25, 2024 15:33 13m 49s
Merge branch 'main' into Add-copyright-file Rust Tests #2: Commit acf4b05 pushed by celinval
June 12, 2024 17:40 15m 38s Add-copyright-file
Add-copyright-file
June 12, 2024 17:40 15m 38s
Add Kani usage and verify-std section Rust Tests #1: Commit c81bfeb pushed by jaisnan
June 11, 2024 17:15 14m 0s add-kani-user-guide
add-kani-user-guide
June 11, 2024 17:15 14m 0s