Skip to content
Build

Add proofs #14

Sign in to view logs

Add proofs

Add proofs #14

Triggered via pull request May 14, 2024 19:01
@AaronFeickertAaronFeickert
synchronize #5
AaronFeickert:proofs
Status Success
Total duration 1m 39s
Artifacts 1

build.yml

on: pull_request
build
1m 30s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Output PDF Expired
203 KB