Skip to content

Annotations

1 warning

build

succeeded Dec 6, 2024 in 35s
Set up job
3s
Run actions/checkout@v4
0s
Run leanprover/lean-action@v1
29s
Post Run actions/checkout@v4
0s
Complete job
0s