Skip to content

cleanup

cleanup #507

Annotations

1 warning

build

succeeded Dec 23, 2024 in 1m 16s
Set up job
0s
Run actions/checkout@v3
0s
Set environment variables
0s
Setup elan toolchain on Linux
5s
Test elan & lean are working
0s
Fetch mathlib cache
56s
Build
13s
Post Run actions/checkout@v3
0s
Complete job
0s