Skip to content

Actions: sinhp/groupoid_model_in_lean4

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: fix web blueprint .github/workflows/push_pr.yml #24: Pull request #27 synchronize by Vtec234
November 14, 2024 19:01 2m 37s bloopreent
bloopreent
November 14, 2024 19:01 2m 37s
feat: fix web blueprint .github/workflows/push_pr.yml #23: Pull request #27 opened by Vtec234
November 14, 2024 04:02 3m 0s bloopreent
bloopreent
November 14, 2024 04:02 3m 0s
Bump Lean to v4.14.0-rc1 .github/workflows/push_pr.yml #22: Pull request #26 opened by Vtec234
November 5, 2024 02:57 2m 37s bump/v4.14.0-rc1
bump/v4.14.0-rc1
November 5, 2024 02:57 2m 37s
I spilt groupoid into more then one file and changed how some minor things are done. .github/workflows/push_pr.yml #21: Pull request #25 synchronize by Vtec234
November 5, 2024 00:43 3m 0s SpencerWoolfson:master
SpencerWoolfson:master
November 5, 2024 00:43 3m 0s
I spilt groupoid into more then one file and changed how some minor things are done. .github/workflows/push_pr.yml #20: Pull request #25 synchronize by SpencerWoolfson
November 4, 2024 16:32 3m 9s SpencerWoolfson:master
SpencerWoolfson:master
November 4, 2024 16:32 3m 9s
I spilt groupoid into more then one file and changed how some minor things are done. .github/workflows/push_pr.yml #19: Pull request #25 opened by SpencerWoolfson
November 4, 2024 16:16 3m 20s SpencerWoolfson:master
SpencerWoolfson:master
November 4, 2024 16:16 3m 20s
chore: bump Lean to v4.13.0 .github/workflows/push_pr.yml #18: Pull request #24 opened by Vtec234
November 4, 2024 04:21 2m 57s bump/v4.13.0
bump/v4.13.0
November 4, 2024 04:21 2m 57s
Finishing the proof of the Grothendieck Pullback for PCat .github/workflows/push_pr.yml #17: Pull request #17 synchronize by SpencerWoolfson
October 4, 2024 17:58 3m 1s SpencerWoolfson:master
SpencerWoolfson:master
October 4, 2024 17:58 3m 1s
[WIP] type theory description .github/workflows/push_pr.yml #16: Pull request #23 synchronize by Jlh18
September 22, 2024 19:55 2m 24s tt
tt
September 22, 2024 19:55 2m 24s
[WIP] type theory description .github/workflows/push_pr.yml #15: Pull request #23 synchronize by Jlh18
September 21, 2024 15:06 2m 29s tt
tt
September 21, 2024 15:06 2m 29s
[WIP] type theory description .github/workflows/push_pr.yml #14: Pull request #23 synchronize by Jlh18
September 19, 2024 14:08 2m 29s tt
tt
September 19, 2024 14:08 2m 29s
[WIP] type theory description .github/workflows/push_pr.yml #13: Pull request #23 synchronize by Jlh18
September 19, 2024 01:45 2m 40s tt
tt
September 19, 2024 01:45 2m 40s
[WIP] type theory description .github/workflows/push_pr.yml #12: Pull request #23 synchronize by Vtec234
September 17, 2024 21:11 2m 39s tt
tt
September 17, 2024 21:11 2m 39s
[WIP] type theory description .github/workflows/push_pr.yml #11: Pull request #23 opened by Vtec234
September 17, 2024 21:10 2m 28s tt
tt
September 17, 2024 21:10 2m 28s
Update blueprint .github/workflows/push_pr.yml #10: Pull request #22 synchronize by pitmonticone
September 7, 2024 15:24 2m 20s pitmonticone:update-blueprint
pitmonticone:update-blueprint
September 7, 2024 15:24 2m 20s
Update blueprint .github/workflows/push_pr.yml #9: Pull request #22 opened by pitmonticone
September 4, 2024 12:10 2m 27s pitmonticone:update-blueprint
pitmonticone:update-blueprint
September 4, 2024 12:10 2m 27s
Golf .github/workflows/push_pr.yml #8: Pull request #21 opened by pitmonticone
August 28, 2024 13:44 2m 28s pitmonticone:golf
pitmonticone:golf
August 28, 2024 13:44 2m 28s
Fix typos in blueprint .github/workflows/push_pr.yml #7: Pull request #20 opened by pitmonticone
August 28, 2024 13:37 2m 28s pitmonticone:fix-typos
pitmonticone:fix-typos
August 28, 2024 13:37 2m 28s
doc: substitution notes .github/workflows/push_pr.yml #6: Pull request #19 synchronize by Vtec234
August 25, 2024 00:01 2m 19s Vtec234:master
Vtec234:master
August 25, 2024 00:01 2m 19s
doc: substitution notes .github/workflows/push_pr.yml #5: Pull request #19 opened by Vtec234
August 25, 2024 00:00 2m 20s Vtec234:master
Vtec234:master
August 25, 2024 00:00 2m 20s
Setup blueprint .github/workflows/push_pr.yml #4: Pull request #18 opened by Vtec234
August 19, 2024 18:54 2m 20s Vtec234:blueprint
Vtec234:blueprint
August 19, 2024 18:54 2m 20s
Finishing the proof of the Grothendieck Pullback for PCat .github/workflows/push_pr.yml #3: Pull request #17 opened by SpencerWoolfson
August 12, 2024 18:08 3m 0s SpencerWoolfson:master
SpencerWoolfson:master
August 12, 2024 18:08 3m 0s
Fix CI project build .github/workflows/push_pr.yml #2: Pull request #16 opened by pitmonticone
August 11, 2024 22:07 2m 34s pitmonticone:fix-ci-build
pitmonticone:fix-ci-build
August 11, 2024 22:07 2m 34s
Started work on the Grothendieck pullbacks. .github/workflows/push_pr.yml #1: Pull request #15 opened by SpencerWoolfson
July 29, 2024 12:54 2m 29s SpencerWoolfson:master
SpencerWoolfson:master
July 29, 2024 12:54 2m 29s