Skip to content
Nix CI

Nix CI #12

Sign in to view logs

Nix CI

Nix CI #12

Manually triggered March 4, 2025 22:55
@samuelburnhamsamuelburnham
⁠ 17e862c
dev
Status Success
Total duration 14m 50s
Artifacts –

ci.yml

on: workflow_dispatch
Build and cache Lean
13m 49s
Build and cache Lean
Fit to window
Zoom out
Zoom in