Skip to content

Actions: jaisnan/rust-dev

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve documentation with links and additional steps Kani #37: Commit f11b979 pushed by jaisnan
September 20, 2024 18:25 30m 45s fix-starter-code
fix-starter-code
September 20, 2024 18:25 30m 45s
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
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
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
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
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 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' 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 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 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
Check OS for kani Kani #23: Commit 8935fad pushed by jaisnan
July 31, 2024 01:11 4m 23s add-scripts-for-local-updatae
add-scripts-for-local-updatae
July 31, 2024 01:11 4m 23s
Check OS for kani Kani #22: Commit 6360b82 pushed by jaisnan
July 31, 2024 00:14 5m 50s test-newer-kani-scripts
test-newer-kani-scripts
July 31, 2024 00:14 5m 50s
change path to head Kani #21: Commit 6e5786b pushed by jaisnan
July 30, 2024 23:38 3m 33s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:38 3m 33s
Fix path Kani #20: Commit 139b394 pushed by jaisnan
July 30, 2024 23:36 18s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:36 18s
Check path Kani #19: Commit f898c50 pushed by jaisnan
July 30, 2024 23:34 20s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:34 20s
Check workflow Kani #18: Commit f9c240f pushed by jaisnan
July 30, 2024 23:33 3m 5s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:33 3m 5s
Check with verify-rst-std Kani #17: Commit d80dbdf pushed by jaisnan
July 30, 2024 23:27 5m 20s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:27 5m 20s
Fix script Kani #16: Commit 988151e pushed by jaisnan
July 30, 2024 23:22 5m 7s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:22 5m 7s
Try with path expanded Kani #15: Commit 40bead9 pushed by jaisnan
July 30, 2024 23:09 3m 17s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:09 3m 17s
Run ls Kani #14: Commit 3a00b2a pushed by jaisnan
July 30, 2024 23:07 19s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:07 19s
Try with bash Kani #13: Commit f35e6fa pushed by jaisnan
July 30, 2024 23:05 19s test-newer-kani-scripts
test-newer-kani-scripts
July 30, 2024 23:05 19s