Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix release build Publish on Crates.io #2: Pull request #49 opened by zgrannan
May 13, 2024 19:33 40s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 40s
Fix release build Build GitHub pages #2: Pull request #49 opened by zgrannan
May 13, 2024 19:33 20s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 20s
Fix release build Test #31: Pull request #49 opened by zgrannan
May 13, 2024 19:33 4m 5s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 4m 5s