Skip to content
buf-push

Add Maybe to the end bound of proofs (Part 1) (#1793) #41

Sign in to view logs

Add Maybe to the end bound of proofs (Part 1) (#1793)

Add Maybe to the end bound of proofs (Part 1) (#1793) #41

Run time

Learn about OS pricing on GitHub Actions
Job Run time
push
7s
7s