.github/workflows/push_pr.yml

Split out some code in ProbLYM.lean into KatonaCircle.lean #79

Sign in to view logs

Triggered via push February 16, 2025 02:28

ctchou

personal/ctchou/prob-lym

Status Success

Total duration 1m 41s

Artifacts –

push_pr.yml

on: push