Build

Update README.md #63

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 15, 2024 21:28

paultristanwagner

main

Status Success

Total duration 36s

Artifacts 1

build.yml

on: push

Artifacts

Produced during runtime

Name	Size
model-checking	348 KB