.github/workflows/push_pr.yml

Update LeanCamCombi/ProbLYM.lean #64

Sign in to view logs

Triggered via push February 14, 2025 02:17

ctchou

personal/ctchou/prob-lym

Status Success

Total duration 1m 46s

Artifacts –

push_pr.yml

on: push