Skip to content

Add release-tag workflow #19

Add release-tag workflow

Add release-tag workflow #19

Triggered via push November 15, 2024 20:57
Status Failure
Total duration 1m 9s
Artifacts 1

release_tag.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Release Tag
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
model-checking Expired
348 KB
sha256:433ebadaf9484f953b9babb50adce1261791d5e1a964aa4a26c427b172701851