Skip to content

Actions: sinhp/groupoid_model_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: support bussproofs .github/workflows/push.yml #77: Commit c809aba pushed by Vtec234
December 13, 2024 20:31 2m 34s master
master
December 13, 2024 20:31 2m 34s
feat: support bussproofs Compile blueprint #68: Commit c809aba pushed by Vtec234
December 13, 2024 20:31 12m 1s master
master
December 13, 2024 20:31 12m 1s
Create update_mathlib.sh Compile blueprint #67: Commit 3dccda2 pushed by pitmonticone
December 10, 2024 23:37 11m 19s master
master
December 10, 2024 23:37 11m 19s
Create update_mathlib.sh .github/workflows/push.yml #76: Commit 3dccda2 pushed by pitmonticone
December 10, 2024 23:37 2m 46s master
master
December 10, 2024 23:37 2m 46s
[BLUEPRINT]: fix typos Compile blueprint #66: Commit 0d016a6 pushed by pitmonticone
December 10, 2024 23:35 11m 53s master
master
December 10, 2024 23:35 11m 53s
[BLUEPRINT]: fix typos .github/workflows/push.yml #75: Commit 0d016a6 pushed by pitmonticone
December 10, 2024 23:35 2m 48s master
master
December 10, 2024 23:35 2m 48s
feat: Russell Natural Models Compile blueprint #65: Commit e87c46d pushed by Jlh18
December 10, 2024 06:25 11m 9s master
master
December 10, 2024 06:25 11m 9s
feat: Russell Natural Models .github/workflows/push.yml #74: Commit e87c46d pushed by Jlh18
December 10, 2024 06:25 2m 36s master
master
December 10, 2024 06:25 2m 36s
fix: prooftrees Compile blueprint #64: Commit 37e261e pushed by Jlh18
December 9, 2024 16:00 11m 33s master
master
December 9, 2024 16:00 11m 33s
fix: prooftrees .github/workflows/push.yml #73: Commit 37e261e pushed by Jlh18
December 9, 2024 16:00 2m 38s master
master
December 9, 2024 16:00 2m 38s
fix: labels and prooftree .github/workflows/push.yml #72: Commit b11226a pushed by Jlh18
December 5, 2024 15:38 2m 47s master
master
December 5, 2024 15:38 2m 47s
fix: labels and prooftree Compile blueprint #63: Commit b11226a pushed by Jlh18
December 5, 2024 15:38 11m 12s master
master
December 5, 2024 15:38 11m 12s
fix: labels Compile blueprint #62: Commit f38a0ed pushed by Jlh18
December 5, 2024 15:18 11m 56s master
master
December 5, 2024 15:18 11m 56s
fix: labels .github/workflows/push.yml #71: Commit f38a0ed pushed by Jlh18
December 5, 2024 15:18 2m 47s master
master
December 5, 2024 15:18 2m 47s
added GroupoidSigma (#29) .github/workflows/push.yml #70: Commit ad6a085 pushed by Vtec234
December 4, 2024 20:20 2m 41s master
master
December 4, 2024 20:20 2m 41s
added GroupoidSigma (#29) Compile blueprint #61: Commit ad6a085 pushed by Vtec234
December 4, 2024 20:20 11m 48s master
master
December 4, 2024 20:20 11m 48s
revert 822e1e6 .github/workflows/push.yml #69: Commit dd08b3d pushed by Jlh18
December 4, 2024 20:11 2m 36s master
master
December 4, 2024 20:11 2m 36s
revert 822e1e6 Compile blueprint #60: Commit dd08b3d pushed by Jlh18
December 4, 2024 20:11 11m 37s master
master
December 4, 2024 20:11 11m 37s
added GroupoidSigma .github/workflows/push_pr.yml #25: Pull request #29 opened by SpencerWoolfson
December 4, 2024 19:02 3m 27s SpencerWoolfson:master
SpencerWoolfson:master
December 4, 2024 19:02 3m 27s
fix: equation labels Compile blueprint #59: Commit c842797 pushed by Jlh18
December 4, 2024 18:54 1m 9s master
master
December 4, 2024 18:54 1m 9s
fix: equation labels .github/workflows/push.yml #68: Commit c842797 pushed by Jlh18
December 4, 2024 18:54 1m 10s master
master
December 4, 2024 18:54 1m 10s
fix: equation labels .github/workflows/push.yml #67: Commit 822e1e6 pushed by Jlh18
December 4, 2024 18:34 2m 37s master
master
December 4, 2024 18:34 2m 37s
fix: equation labels Compile blueprint #58: Commit 822e1e6 pushed by Jlh18
December 4, 2024 18:34 11m 28s master
master
December 4, 2024 18:34 11m 28s
fix: labels .github/workflows/push.yml #66: Commit c58d844 pushed by Jlh18
December 3, 2024 03:43 2m 47s master
master
December 3, 2024 03:43 2m 47s
fix: labels Compile blueprint #57: Commit c58d844 pushed by Jlh18
December 3, 2024 03:43 11m 37s master
master
December 3, 2024 03:43 11m 37s