Build

Add release-tag workflow #61

Re-run triggered November 15, 2024 21:27

main

Status Success

Total duration 35s

Artifacts 1

build.yml

on: push

Produced during runtime

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