Skip to content

Actions: sinhp/groupoid_model_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add .gitignore for pdflatex Compile blueprint #3: Commit d45e9a0 pushed by Jlh18
August 23, 2024 14:25 9m 3s master
master
August 23, 2024 14:25 9m 3s
Update Outline.md .github/workflows/push.yml #11: Commit 12638e4 pushed by awodey
August 20, 2024 00:05 2m 14s master
master
August 20, 2024 00:05 2m 14s
Update Outline.md Compile blueprint #2: Commit 12638e4 pushed by awodey
August 20, 2024 00:05 10m 12s master
master
August 20, 2024 00:05 10m 12s
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
Merge pull request #18 from Vtec234/blueprint Compile blueprint #1: Commit d8c9f00 pushed by sinhp
August 19, 2024 18:53 39m 53s master
master
August 19, 2024 18:53 39m 53s
Merge pull request #18 from Vtec234/blueprint .github/workflows/push.yml #10: Commit d8c9f00 pushed by sinhp
August 19, 2024 18:53 2m 22s master
master
August 19, 2024 18:53 2m 22s
sigma, pair, evaluation+computation .github/workflows/push.yml #9: Commit 9049b33 pushed by Jlh18
August 14, 2024 11:41 2m 19s master
master
August 14, 2024 11:41 2m 19s
Merge pull request #16 from pitmonticone/fix-ci-build .github/workflows/push.yml #8: Commit 3061075 pushed by sinhp
August 12, 2024 19:13 2m 17s master
master
August 12, 2024 19:13 2m 17s
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
dependent pair classifier .github/workflows/push.yml #7: Commit c39be3e pushed by Jlh18
August 12, 2024 13:18 2m 16s master
master
August 12, 2024 13:18 2m 16s
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
dependent pair classifier .github/workflows/push.yml #6: Commit 1fd5346 pushed by Jlh18
August 8, 2024 14:50 2m 23s master
master
August 8, 2024 14:50 2m 23s
Update Groupoids.lean .github/workflows/push.yml #5: Commit 3d6b57a pushed by awodey
August 7, 2024 17:34 2m 16s master
master
August 7, 2024 17:34 2m 16s
natural model si .github/workflows/push.yml #4: Commit 2b2d28d pushed by Jlh18
August 7, 2024 16:33 2m 20s master
master
August 7, 2024 16:33 2m 20s
natural model pi .github/workflows/push.yml #3: Commit 0b0945a pushed by Jlh18
August 7, 2024 15:13 2m 15s master
master
August 7, 2024 15:13 2m 15s
Merge pull request #15 from SpencerWoolfson/master .github/workflows/push.yml #2: Commit ea72abd pushed by sinhp
August 2, 2024 09:01 2m 15s master
master
August 2, 2024 09:01 2m 15s
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
github workflows (push) .github/workflows/push.yml #1: Commit 8052667 pushed by sinhp
July 28, 2024 08:18 2m 16s master
master
July 28, 2024 08:18 2m 16s