Skip to content
Build

Update README.md #63

Sign in to view logs

Update README.md

Update README.md #63

Triggered via push November 15, 2024 21:28
@paultristanwagnerpaultristanwagner
pushed 6225523
main
Status Success
Total duration 36s
Artifacts 1

build.yml

on: push
build
27s
build
Fit to window
Zoom out
Zoom in

Artifacts

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