Skip to content

Actions: verus-lang/action-update-release

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.2.7 build-test #75: Commit 8a21546 pushed by utaal
March 27, 2025 23:32 40s v0.2
v0.2
March 27, 2025 23:32 40s
v0.2.7 build-test #74: Commit 8a21546 pushed by utaal
March 27, 2025 23:31 35s v2
v2
March 27, 2025 23:31 35s
v0.2.7 build-test #73: Commit 8a21546 pushed by utaal
March 27, 2025 23:30 37s v0.2.7
v0.2.7
March 27, 2025 23:30 37s
v0.2.7 build-test #72: Commit 8a21546 pushed by utaal
March 27, 2025 23:29 37s releases/v0.2.7
releases/v0.2.7
March 27, 2025 23:29 37s
do not delete all releases build-test #71: Commit 4e2d8aa pushed by utaal
March 27, 2025 23:26 35s main
main
March 27, 2025 23:26 35s
Update README.md after transfer to verus-lang build-test #70: Commit a85bb11 pushed by utaal
March 27, 2025 22:12 37s main
main
March 27, 2025 22:12 37s