.github/workflows/lean_build.yml

golf a few proofs in chapter 6 #262

Sign in to view logs

Triggered via pull request October 20, 2024 20:06

opened #72

pitmonticone:golf-ch6

Status Success

Total duration 2m 5s

Artifacts –

lean_build.yml

on: pull_request