CI

update to Lean v4.17.0-rc1 #882

Sign in to view logs

Summary
Jobs
- Build
- Stats
Run details
- Usage
- Workflow file

Triggered via push February 6, 2025 20:15

m4lvin

main

Status Failure

Total duration 24m 31s

Artifacts –

build.yml

on: push

Annotations

1 error

Process completed with exit code 2.