Extract, build, run

Upgrade to Lean v4.8.0-rc1 and latest mathlib #53

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Re-run triggered May 22, 2024 11:52

jtristan

#11

Upgrade

Status Failure

Total duration 48m 47s

Artifacts –

test.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.