.github/workflows/ci.yml

Update lean to v4.6.0-rc1 and start fixing the proofs #268

Sign in to view logs

Summary
Jobs
- nix
- lean
Run details
- Usage
- Workflow file

Triggered via push February 2, 2024 19:48

sonmarcho

son/update_lean

Status Failure

Total duration 5m 58s

Artifacts –

ci.yml

on: push

Annotations

1 error

Process completed with exit code 2.