compile

added proof #5285

Sign in to view logs

Triggered via push September 8, 2025 05:44

Moniker1998

Basically-disconnected-and-seq-discrete

Status Success

Total duration 22s

Artifacts 1

compile.yml

on: push

Artifacts

Produced during runtime

Name	Size	Digest
bundle.json Expired	209 KB	`sha256:a8bc37900945a43a479f30594b57e2f13f634c81020f597238576a223dc0a552`