Skip to content
CI

prove a bunch in sigma.lean #2186

Sign in to view logs

prove a bunch in sigma.lean

prove a bunch in sigma.lean #2186

Triggered via pull request August 5, 2026 14:31
@MrBrain295MrBrain295
synchronize #686
MrBrain295:patch-1
Status Success
Total duration 27m 9s
Artifacts 1

ci.yml

on: pull_request
build
26m 56s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
arklib-build-timing-data
38.7 KB
sha256:90554fda7f54038e068e61d5a4acc0a374856e249e799573cdea5e826224c16c