Skip to content
buf-push

Add Maybe to the end bound of proofs (Part 2) (#1813) #42

Sign in to view logs

Add Maybe to the end bound of proofs (Part 2) (#1813)

Add Maybe to the end bound of proofs (Part 2) (#1813) #42

Run time

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