Lean 4 CI

No mathlib for Verso for now #240

Sign in to view logs

Triggered via push October 27, 2024 09:29

utensil

main

Status Success

Total duration 11m 42s

Artifacts –

lean4.yml

on: push

Matrix: Lean 4 Projects

Annotations

1 warning

Lean 4 Projects (macos-latest)

Failed to save: uploadChunk (start: 1342177280, end: 1375731711) failed: socket hang up