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