Skip to content

Actions: jaisnan/rust-dev

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into fix-docs Build Book #71: Commit 8078f83 pushed by jaisnan
October 31, 2024 15:54 4m 36s fix-docs
fix-docs
October 31, 2024 15:54 4m 36s
Merge branch 'fix-docs' of https://github.com/jaisnan/rust-dev into f… Build Book #70: Commit a65b701 pushed by jaisnan
October 29, 2024 18:26 4m 18s fix-docs
fix-docs
October 29, 2024 18:26 4m 18s
Apply suggestions from code review Build Book #69: Commit 5903fa6 pushed by jaisnan
October 29, 2024 17:26 4m 25s fix-docs
fix-docs
October 29, 2024 17:26 4m 25s
Add kani script instructions to book Build Book #68: Commit 0d66535 pushed by jaisnan
October 24, 2024 17:31 4m 31s fix-docs
fix-docs
October 24, 2024 17:31 4m 31s
Merge branch 'main' of https://github.com/model-checking/verify-rust-… Build Book #67: Commit 200fe46 pushed by jaisnan
October 15, 2024 17:43 4m 44s add-script-to-automate-build
add-script-to-automate-build
October 15, 2024 17:43 4m 44s
Apply suggestions from code review Build Book #66: Commit dc98adc pushed by jaisnan
September 20, 2024 20:07 4m 13s fix-starter-code
fix-starter-code
September 20, 2024 20:07 4m 13s
Add link to https://github.com/model-checking/verify-rust-std Build Book #65: Commit b9e7943 pushed by jaisnan
September 20, 2024 20:06 4m 28s fix-starter-code
fix-starter-code
September 20, 2024 20:06 4m 28s
Fix wording Build Book #64: Commit c437471 pushed by jaisnan
September 20, 2024 19:09 4m 22s fix-starter-code
fix-starter-code
September 20, 2024 19:09 4m 22s
Fix type of function-contracts Build Book #63: Commit 9ba66e6 pushed by jaisnan
September 20, 2024 18:42 4m 37s fix-starter-code
fix-starter-code
September 20, 2024 18:42 4m 37s
Describe the steps Build Book #62: Commit 9bf4087 pushed by jaisnan
September 20, 2024 18:27 4m 16s fix-starter-code
fix-starter-code
September 20, 2024 18:27 4m 16s
Improve documentation with links and additional steps Build Book #61: Commit f11b979 pushed by jaisnan
September 20, 2024 18:25 4m 14s fix-starter-code
fix-starter-code
September 20, 2024 18:25 4m 14s
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
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
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
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 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
check with updated scripts with local paths Build Book #50: Commit 72160bc pushed by jaisnan
July 26, 2024 21:36 4m 27s sync-2024-07-21
sync-2024-07-21
July 26, 2024 21:36 4m 27s
test subtree sync workflow Build Book #49: Commit eec06bb pushed by jaisnan
July 26, 2024 16:37 4m 30s add-sync-ci-job-test
add-sync-ci-job-test
July 26, 2024 16:37 4m 30s
Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-202… Build Book #48: Commit 723914d pushed by jaisnan
July 17, 2024 21:59 4m 18s sync-2024-07-17-backup
sync-2024-07-17-backup
July 17, 2024 21:59 4m 18s
sample text Build Book #47: Commit db1f541 pushed by jaisnan
July 10, 2024 19:19 4m 16s throw-26
throw-26
July 10, 2024 19:19 4m 16s