Add release-tag workflow #22
release_tag.yml
on: push
build
/
build
26s
Release Tag
3s
Annotations
1 error
|
Release Tag
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
model-checking
Expired
|
348 KB |
sha256:cf2eb4143542c7f575f2de0c1e183653280a9e9696f54a49a38c0c24c7490eff
|
|