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