Skip to content
CI

update lean version to match mathlib #747

Sign in to view logs

update lean version to match mathlib

update lean version to match mathlib #747

Triggered via pull request January 28, 2025 06:10
@alokalok
opened #54
alok:update-4-16-rc2
Status Failure
Total duration 55s
Artifacts –

main.yml

on: pull_request
build
47s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.