Lean 4 CI

Run Sci CI only on Mac for now #238

Sign in to view logs

Triggered via push October 27, 2024 08:44

utensil

main

Status Success

Total duration 18m 41s

Artifacts –

lean4.yml

on: push

Matrix: Lean 4 Projects