CI Tests

chore: Bump Lean to v4.18.0 #13

Sign in to view logs

Triggered via pull request April 9, 2025 13:18

opened #58

lean-4.18.0

Status Success

Total duration 1m 49s

Artifacts –

ci.yml

on: pull_request

Nix Flake Check

Annotations

1 warning

Nix Flake Check

No push credentials found. Ignoring the 'useDaemon' option.