Skip to content
CI Tests

chore: Bump Lean to v4.18.0 (#58) #15

Sign in to view logs

chore: Bump Lean to v4.18.0 (#58)

chore: Bump Lean to v4.18.0 (#58) #15

Triggered via push April 9, 2025 14:01
@samuelburnhamsamuelburnham
pushed 24cceb6
main
Status Success
Total duration 1m 38s
Artifacts –

ci.yml

on: push
Lean Build
17s
Lean Build
Nix Flake Check
1m 28s
Nix Flake Check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Nix Flake Check
No push credentials found. Ignoring the 'useDaemon' option.