.github/workflows/push_pr.yml

Update LeanCamCombi/ProbLYM.lean per Yaël Dillies's comments #68

Sign in to view logs

Triggered via push February 14, 2025 13:27

YaelDillies

personal/ctchou/prob-lym

Status Success

Total duration 1m 38s

Artifacts –

push_pr.yml

on: push