Skip to content

Actions: jaisnan/rust-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply suggestions from code review Kani #36: Commit 98f213c pushed by jaisnan
September 13, 2024 19:21 30m 41s add-script-to-automate-build
add-script-to-automate-build
September 13, 2024 19:21 30m 41s
Add comments Kani #35: Commit c18d6d5 pushed by jaisnan
September 10, 2024 15:34 41m 11s add-script-to-automate-build
add-script-to-automate-build
September 10, 2024 15:34 41m 11s
Add comments Rust Tests #29: Commit c18d6d5 pushed by jaisnan
September 10, 2024 15:34 7m 50s add-script-to-automate-build
add-script-to-automate-build
September 10, 2024 15:34 7m 50s
Merge branch 'main' into add-script-to-automate-build Rust Tests #28: Commit 5ba1b85 pushed by jaisnan
September 10, 2024 14:48 6m 51s add-script-to-automate-build
add-script-to-automate-build
September 10, 2024 14:48 6m 51s
Merge branch 'main' into add-script-to-automate-build Kani #34: Commit 5ba1b85 pushed by jaisnan
September 10, 2024 14:48 22s add-script-to-automate-build
add-script-to-automate-build
September 10, 2024 14:48 22s
Merge branch 'main' into add-script-to-automate-build Build Book #60: Commit 5ba1b85 pushed by jaisnan
September 10, 2024 14:48 4m 21s add-script-to-automate-build
add-script-to-automate-build
September 10, 2024 14:48 4m 21s
Fix step for without -p Check entry-point #5: Commit 739d898 pushed by jaisnan
September 6, 2024 21:27 28m 29s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 21:27 28m 29s
Fix workflow names Kani #33: Commit aba4ecf pushed by jaisnan
September 6, 2024 21:21 28m 41s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 21:21 28m 41s
Fix workflow names Check entry-point #4: Commit aba4ecf pushed by jaisnan
September 6, 2024 21:21 4m 14s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 21:21 4m 14s
Rename check name Kani #32: Commit 329ef6a pushed by jaisnan
September 6, 2024 21:07 30m 52s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 21:07 30m 52s
Rename check name Check entry-point #3: Commit 329ef6a pushed by jaisnan
September 6, 2024 21:07 28m 13s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 21:07 28m 13s
Add --path to kani.yml check Kani #31: Commit d3009c3 pushed by jaisnan
September 6, 2024 20:55 29m 11s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 20:55 29m 11s
Add --path to kani.yml check Check entry-point #2: Commit d3009c3 pushed by jaisnan
September 6, 2024 20:55 26m 32s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 20:55 26m 32s
Add CI workflow to test entrypoint script Check entry-point #1: Commit 882a065 pushed by jaisnan
September 6, 2024 20:45 27m 24s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 20:45 27m 24s
Add CI workflow to test entrypoint script Kani #30: Commit 882a065 pushed by jaisnan
September 6, 2024 20:45 21s add-script-to-automate-build
add-script-to-automate-build
September 6, 2024 20:45 21s
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