Skip to content
Release Tag

Update README.md #24

Sign in to view logs

Update README.md

Update README.md #24

Triggered via push November 15, 2024 21:32
@paultristanwagnerpaultristanwagner
pushed 6225523
v1.0.0
Status Success
Total duration 38s
Artifacts 1

release_tag.yml

on: push
build  /  build
19s
build / build
Release Tag
3s
Release Tag
Fit to window
Zoom out
Zoom in

Artifacts

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