Lean 4 CI

Workaround for multiline math #243

Sign in to view logs

Triggered via push October 27, 2024 14:28

utensil

main

Status Success

Total duration 3m 20s

Artifacts –

lean4.yml

on: push

Matrix: Lean 4 Projects