Skip to content

Actions: jaisnan/rust-dev

Actions

Check entry-point

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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