Add release-tag workflow #23
paultristanwagnerrelease_tag.yml
on: push
build
/
build
19s
Release Tag
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
model-checking
Expired
|
348 KB |
sha256:0083f7291f7c801b84f305dc42991ab948328c258aa97d4d6ebe518463c81a29
|
|