Skip to content
github pages

completeness proofs #111

Sign in to view logs

completeness proofs

completeness proofs #111

Triggered via push July 11, 2024 19:41
@lizz-zardlizz-zard
pushed a2514d4
main
Status Success
Total duration 35s
Artifacts –

deploy.yml

on: push
build-deploy
24s
build-deploy
Fit to window
Zoom out
Zoom in