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
model-checking	348 KB