Build

Add release-tag workflow #59

Triggered via push November 15, 2024 21:03

main

Status Success

Total duration 30s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
model-checking Expired	348 KB	`sha256:cff16d441630ad958f398b2268eba8977697f3ca6adab1876e56decad6a502f6`