.github/workflows/push_pr.yml

Revert "Use Numbering to define NumberingOn; not working yet" #73

Sign in to view logs

Triggered via push February 15, 2025 22:28

ctchou

personal/ctchou/prob-lym

Status Success

Total duration 1m 39s

Artifacts –

push_pr.yml

on: push