Continuous integration

Start writing a Lean tutorial #5114

Sign in to view logs

Triggered via pull request January 20, 2026 02:50

stepchowfun

synchronize #804

tutorial

Status Success

Total duration 25m 44s

Artifacts –

ci.yml

on: pull_request