Skip to content
Tests

Merge pull request #31 from sr-lab/improve_proof_file #105

Sign in to view logs

Merge pull request #31 from sr-lab/improve_proof_file

Merge pull request #31 from sr-lab/improve_proof_file #105

Triggered via push December 22, 2023 21:57
@pcarrottpcarrott
pushed ba28bcb
master
Status Success
Total duration 14m 2s
Artifacts –

test.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in