Skip to content

Actions: jaisnan/rust-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change output-format to terse Kani #29: Commit 9ba9aae pushed by jaisnan
September 6, 2024 19:12 3m 8s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 19:12 3m 8s
Merge branch 'main' of https://github.com/model-checking/verify-rust-… Kani #28: Commit 60725a0 pushed by jaisnan
September 6, 2024 18:35 30m 14s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 18:35 30m 14s
Merge branch 'main' of https://github.com/model-checking/verify-rust-… Rust Tests #27: Commit 60725a0 pushed by jaisnan
September 6, 2024 18:35 6m 55s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 18:35 6m 55s
Add command to run Kani from the root and from CI w/ cache Build Book #59: Commit 78b3c28 pushed by jaisnan
September 6, 2024 18:32 4m 33s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 18:32 4m 33s
Remove all section numbers to prevent confusing labelling Build Book #58: Commit e727e1b pushed by jaisnan
September 6, 2024 18:30 4m 34s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 18:30 4m 34s
Remove all section numbers to prevent confusing labelling Build Book #57: Commit 5dd8c9a pushed by jaisnan
August 28, 2024 20:51 4m 20s clean-book
clean-book
August 28, 2024 20:51 4m 20s
Merge branch 'main' into add-result-contract Build Book #56: Commit 4b36a0e pushed by jaisnan
August 28, 2024 18:53 4m 37s add-result-contract
add-result-contract
August 28, 2024 18:53 4m 37s
Merge branch 'main' into fix-pr-flow Build Book #55: Commit 7fde837 pushed by jaisnan
August 27, 2024 17:40 4m 25s fix-pr-flow
fix-pr-flow
August 27, 2024 17:40 4m 25s
Check PR Approvals Check PR Approvals #40: submitted by feliperodri
August 27, 2024 17:32 22s
August 27, 2024 17:32 22s
Check PR Approvals Check PR Approvals #39: submitted by carolynzech
August 27, 2024 17:31 14s
August 27, 2024 17:31 14s
Simplify pr workflow to require 2 approvals on all PR's Build Book #54: Commit db10e40 pushed by jaisnan
August 27, 2024 17:21 4m 23s fix-pr-flow
fix-pr-flow
August 27, 2024 17:21 4m 23s
Merge branch 'main' into modify-2 Build Book #53: Commit d3c3e51 pushed by zhassan-aws
August 22, 2024 18:30 4m 15s modify-2
modify-2
August 22, 2024 18:30 4m 15s
Check PR Approvals Check PR Approvals #38: submitted by Jaisu-1
August 22, 2024 15:38 19s
August 22, 2024 15:38 19s
Check PR Approvals Check PR Approvals #37: submitted by Jaisu-1
August 22, 2024 15:14 20s
August 22, 2024 15:14 20s
Check PR Approvals Check PR Approvals #36: submitted by Jaisu-1
August 22, 2024 15:10 16s
August 22, 2024 15:10 16s
add dummy account to toml for testing Build Book #52: Commit 2c323e1 pushed by jaisnan
August 22, 2024 15:00 4m 18s modify-pr-workflow
modify-pr-workflow
August 22, 2024 15:00 4m 18s
Merge branch 'main' into add-result-contract Kani #27: Commit cc2c94b pushed by tautschnig
August 20, 2024 13:17 7m 22s add-result-contract
add-result-contract
August 20, 2024 13:17 7m 22s
Merge branch 'main' into add-result-contract Rust Tests #26: Commit cc2c94b pushed by tautschnig
August 20, 2024 13:17 7m 45s add-result-contract
add-result-contract
August 20, 2024 13:17 7m 45s
Merge branch 'main' into add-result-contract Rust Tests #25: Commit 262f391 pushed by jaisnan
August 16, 2024 21:42 6m 16s add-result-contract
add-result-contract
August 16, 2024 21:42 6m 16s
Merge branch 'main' into add-result-contract Build Book #51: Commit 262f391 pushed by jaisnan
August 16, 2024 21:42 4m 15s add-result-contract
add-result-contract
August 16, 2024 21:42 4m 15s
Merge branch 'main' into add-result-contract Kani #26: Commit 262f391 pushed by jaisnan
August 16, 2024 21:42 3m 31s add-result-contract
add-result-contract
August 16, 2024 21:42 3m 31s
Merge branch 'main' into add-scripts-for-local-updatae Rust Tests #24: Commit b0e5383 pushed by jaisnan
August 6, 2024 18:32 6m 39s add-scripts-for-local-updatae
add-scripts-for-local-updatae
August 6, 2024 18:32 6m 39s
Merge branch 'main' into add-scripts-for-local-updatae Kani #25: Commit b0e5383 pushed by jaisnan
August 6, 2024 18:32 4m 27s add-scripts-for-local-updatae
add-scripts-for-local-updatae
August 6, 2024 18:32 4m 27s
Add set -e to ensure that CI breaks if scripts break Kani #24: Commit 9011191 pushed by jaisnan
July 31, 2024 01:20 4m 18s add-scripts-for-local-updatae
add-scripts-for-local-updatae
July 31, 2024 01:20 4m 18s
Add set -e to ensure that CI breaks if scripts break Rust Tests #23: Commit 9011191 pushed by jaisnan
July 31, 2024 01:20 8m 47s add-scripts-for-local-updatae
add-scripts-for-local-updatae
July 31, 2024 01:20 8m 47s