Skip to content

Merge pull request #1065 from lorchrob/cand-gen-prop-output #436

Merge pull request #1065 from lorchrob/cand-gen-prop-output

Merge pull request #1065 from lorchrob/cand-gen-prop-output #436

Triggered via push May 6, 2024 17:28
Status Success
Total duration 3m 47s
Artifacts

kind2-docker.yml

on: push
build-and-publish
3m 39s
build-and-publish
Fit to window
Zoom out
Zoom in