Lean 4 CI

Deploy all [annotate] #246

Sign in to view logs

Triggered via push October 28, 2024 13:00

utensil

main

Status Success

Total duration 14m 43s

Artifacts –

lean4.yml

on: push

Matrix: Lean 4 Projects