Build

Update README.md #62

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 15, 2024 21:27

paultristanwagner

main

Status Success

Total duration 29s

Artifacts 1

build.yml

on: push

Artifacts

Produced during runtime

Name	Size
model-checking	348 KB