Skip to content

Actions: hrmacbeth/math2001

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Mon Dec 9 14:21:47 EST 2024 .github/workflows/lean_build.yml #47: Commit e660f42 pushed by hrmacbeth
5m 7s main
main
5m 7s
Update Mon Dec 9 12:09:20 EST 2024 .github/workflows/lean_build.yml #46: Commit 6b00260 pushed by hrmacbeth
4m 59s main
main
4m 59s
Update Sun Nov 24 11:16:32 EST 2024 .github/workflows/lean_build.yml #45: Commit a4be976 pushed by hrmacbeth
5m 51s main
main
5m 51s
Update Fri Nov 8 00:54:05 EST 2024 .github/workflows/lean_build.yml #44: Commit 16067e3 pushed by hrmacbeth
4m 44s main
main
4m 44s
Update Fri Nov 1 00:41:37 EDT 2024 .github/workflows/lean_build.yml #43: Commit 7fd74e1 pushed by hrmacbeth
4m 44s main
main
4m 44s