Automated quick-and-dirty build

Merge `enhancement/untyped-synchronous-channels` of pull request #123… #211

Sign in to view logs

Triggered via push October 3, 2023 13:21

jeltsch

master

Status Success

Total duration 5m 59s

Artifacts 1

quick-and-dirty-build.yaml

on: push

quick-and-dirty-build

Artifacts

Produced during runtime

Name	Size
document Expired	669 KB