.github/workflows/lean_build.yml

ch4 second proof, latex and widget #259

Sign in to view logs

Triggered via pull request October 20, 2024 18:48

mo271

synchronize #71

windmill_widget

Status Success

Total duration 1m 55s

Artifacts –

lean_build.yml

on: pull_request