Automated quick-and-dirty build

Get rid of the use of `smt` #218

Sign in to view logs

Triggered via push November 26, 2023 21:35

jeltsch

enhancement/complete-chain-sync-program-based

Status Success

Total duration 4m 45s

Artifacts 1

quick-and-dirty-build.yaml

on: push

quick-and-dirty-build

Artifacts

Produced during runtime

Name	Size
document Expired	661 KB