Skip to content

Actions: Aurel300/prusti-dev

Actions

Publish on Crates.io

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crates-io.yml
1 workflow run
1 workflow run

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