Skip to content

Add proofs

Add proofs #14

Triggered via pull request May 14, 2024 19:01
Status Success
Total duration 5m 34s
Artifacts

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in