Build

Update README.md #62

Triggered via push November 15, 2024 21:27

main

Status Success

Total duration 29s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
model-checking Expired	348 KB	`sha256:f131bf40530779b7739a8bfde24d42fb5d4fe179dd35960c64c98c32a4dc18e2`