.github/workflows/push_pr.yml

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

Sign in to view logs

Triggered via push February 14, 2025 03:10

ctchou

personal/ctchou/prob-lym

Status Success

Total duration 1m 53s

Artifacts –

push_pr.yml

on: push