Skip to content

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

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

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

Triggered via push August 8, 2023 16:11
Status Success
Total duration 20s
Artifacts

buf-push.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
push
No github_token supplied, API requests will be subject to stricter rate limiting