Build

Add release-tag workflow #58

Triggered via push November 15, 2024 21:02

main

Status Success

Total duration 55s

Artifacts 1

build.yml

on: push

Produced during runtime

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