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

remove notes .github/workflows/push.yml #22: Commit 732243b pushed by Jlh18
August 28, 2024 18:31 2m 19s master
master
August 28, 2024 18:31 2m 19s
remove notes Compile blueprint #13: Commit 732243b pushed by Jlh18
August 28, 2024 18:31 9m 9s master
master
August 28, 2024 18:31 9m 9s
remove notes .github/workflows/push.yml #21: Commit 151c4fe pushed by Jlh18
August 28, 2024 18:30 2m 32s master
master
August 28, 2024 18:30 2m 32s
remove notes Compile blueprint #12: Commit 151c4fe pushed by Jlh18
August 28, 2024 18:30 9m 20s master
master
August 28, 2024 18:30 9m 20s
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
remove outdated Notes .github/workflows/push.yml #20: Commit 6333a4a pushed by Jlh18
August 28, 2024 12:39 2m 23s master
master
August 28, 2024 12:39 2m 23s
remove outdated Notes Compile blueprint #11: Commit 6333a4a pushed by Jlh18
August 28, 2024 12:39 10m 8s master
master
August 28, 2024 12:39 10m 8s
polynomial on slice Compile blueprint #10: Commit 1021e76 pushed by Jlh18
August 28, 2024 04:34 9m 49s master
master
August 28, 2024 04:34 9m 49s
polynomial on slice .github/workflows/push.yml #19: Commit 1021e76 pushed by Jlh18
August 28, 2024 04:34 2m 22s master
master
August 28, 2024 04:34 2m 22s
Merge pull request #19 from Vtec234/master .github/workflows/push.yml #18: Commit 60c17b4 pushed by sinhp
August 25, 2024 09:33 2m 34s master
master
August 25, 2024 09:33 2m 34s
Merge pull request #19 from Vtec234/master Compile blueprint #9: Commit 60c17b4 pushed by sinhp
August 25, 2024 09:33 9m 38s master
master
August 25, 2024 09:33 9m 38s
identity natural model spec .github/workflows/push.yml #17: Commit 90e6641 pushed by Jlh18
August 25, 2024 02:15 2m 26s master
master
August 25, 2024 02:15 2m 26s
identity natural model spec Compile blueprint #8: Commit 90e6641 pushed by Jlh18
August 25, 2024 02:15 8m 58s master
master
August 25, 2024 02:15 8m 58s
refactor evaluation lemma Compile blueprint #7: Commit 871b9f7 pushed by Jlh18
August 25, 2024 00:03 9m 5s master
master
August 25, 2024 00:03 9m 5s
refactor evaluation lemma .github/workflows/push.yml #16: Commit 871b9f7 pushed by Jlh18
August 25, 2024 00:03 2m 14s master
master
August 25, 2024 00:03 2m 14s
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
refactor polynomial section Compile blueprint #6: Commit b734dd9 pushed by Jlh18
August 23, 2024 22:26 10m 7s master
master
August 23, 2024 22:26 10m 7s
refactor polynomial section .github/workflows/push.yml #15: Commit b734dd9 pushed by Jlh18
August 23, 2024 22:26 2m 16s master
master
August 23, 2024 22:26 2m 16s
add refs Compile blueprint #5: Commit 5c29527 pushed by Jlh18
August 23, 2024 21:05 9m 38s master
master
August 23, 2024 21:05 9m 38s
add refs .github/workflows/push.yml #14: Commit 5c29527 pushed by Jlh18
August 23, 2024 21:05 2m 15s master
master
August 23, 2024 21:05 2m 15s
blueprint pdf setup .github/workflows/push.yml #13: Commit e170754 pushed by Jlh18
August 23, 2024 14:51 2m 22s master
master
August 23, 2024 14:51 2m 22s
blueprint pdf setup Compile blueprint #4: Commit e170754 pushed by Jlh18
August 23, 2024 14:51 9m 10s master
master
August 23, 2024 14:51 9m 10s
add .gitignore for pdflatex .github/workflows/push.yml #12: Commit d45e9a0 pushed by Jlh18
August 23, 2024 14:25 2m 19s master
master
August 23, 2024 14:25 2m 19s