Skip to content

Improve Proof

Improve Proof #4864

Triggered via pull request July 28, 2023 09:08
Status Success
Total duration 30s
Artifacts

enforce-pr-labels.yml

on: pull_request
enforce-label
20s
enforce-label
Fit to window
Zoom out
Zoom in