feat: add release workflow and fix existing workflows #6
sakulstraAnnotations
1 error
|
verify
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
certora-run-logs-7e6cd18b-f1d0-444e-93ad-c3fe1ef9391a-16618863156
Expired
|
24.6 KB |
sha256:08310cad7c38b2a9bc62a57204709c2cf16fb91d4c0e4a2c9d691b3d253b7202
|
|