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

Triggered via push August 7, 2023 17:52
@danlainedanlaine
pushed 8579d7f
dev
Status Success
Total duration 17s
Artifacts –

buf-push.yml

on: push
push
7s
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