Skip to content
CI

Use an alternative form of Let {(...) => SubProof(...)}: SubProof{(..… #3

Sign in to view logs

Use an alternative form of Let {(...) => SubProof(...)}: SubProof{(..…

Use an alternative form of Let {(...) => SubProof(...)}: SubProof{(..… #3

Re-run triggered February 22, 2024 14:49
@robby-phdrobby-phd
f49250c
master
Status Success
Total duration 2m 42s
Artifacts –

CI.yml

on: push
build-ubuntu
2m 31s
build-ubuntu
Fit to window
Zoom out
Zoom in