Skip to content

Actions: utensil/forest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add some more plots Deploy My forest to Pages #216: Commit 16a4a77 pushed by utensil
July 29, 2024 05:38 10m 4s main
main
July 29, 2024 05:38 10m 4s
Prepare some more surface plots Deploy My forest to Pages #215: Commit 0c0df1c pushed by utensil
July 27, 2024 17:30 9m 57s main
main
July 27, 2024 17:30 9m 57s
Add more test diagrams Deploy My forest to Pages #214: Commit e6e4633 pushed by utensil
July 27, 2024 14:11 9m 55s main
main
July 27, 2024 14:11 9m 55s
It's better as a remark Deploy My forest to Pages #213: Commit bb4c955 pushed by utensil
July 24, 2024 14:09 10m 0s main
main
July 24, 2024 14:09 10m 0s
Fix French flags Deploy My forest to Pages #212: Commit dabc168 pushed by utensil
July 24, 2024 06:10 8m 45s main
main
July 24, 2024 06:10 8m 45s
Cite rosiak2022sheaf def. 21 Deploy My forest to Pages #211: Commit c968497 pushed by utensil
July 23, 2024 12:06 10m 2s main
main
July 23, 2024 12:06 10m 2s
Add editorial remarks, and proof blocks Deploy My forest to Pages #210: Commit 5cd2344 pushed by utensil
July 22, 2024 10:44 9m 57s main
main
July 22, 2024 10:44 9m 57s
Make a start on going over rosiak2022sheaf Deploy My forest to Pages #209: Commit a2df336 pushed by utensil
July 20, 2024 16:28 9m 22s main
main
July 20, 2024 16:28 9m 22s
Undraft some notes Deploy My forest to Pages #208: Commit e25847b pushed by utensil
July 20, 2024 16:20 8m 10s main
main
July 20, 2024 16:20 8m 10s
(co)limits via adjunction Deploy My forest to Pages #207: Commit 5d1423a pushed by utensil
July 20, 2024 16:08 10m 10s main
main
July 20, 2024 16:08 10m 10s
Add concrete category Deploy My forest to Pages #206: Commit 4bdd9c7 pushed by utensil
July 20, 2024 10:24 8m 58s main
main
July 20, 2024 10:24 8m 58s
Bump forester Deploy My forest to Pages #205: Commit 5e57624 pushed by utensil
July 20, 2024 08:03 9m 51s main
main
July 20, 2024 08:03 9m 51s
Testing equation tagging and referencing Deploy My forest to Pages #204: Commit 03a737f pushed by utensil
July 18, 2024 16:15 10m 5s main
main
July 18, 2024 16:15 10m 5s
Polish limits Deploy My forest to Pages #203: Commit 231b167 pushed by utensil
July 18, 2024 04:38 11m 6s main
main
July 18, 2024 04:38 11m 6s
Minor polish on limits Deploy My forest to Pages #202: Commit be02a86 pushed by utensil
July 18, 2024 04:20 9m 30s main
main
July 18, 2024 04:20 9m 30s
Fix typo Deploy My forest to Pages #201: Commit 06cf0d1 pushed by utensil
July 18, 2024 03:59 10m 11s main
main
July 18, 2024 03:59 10m 11s
Fix tables in LaTeX Deploy My forest to Pages #200: Commit 23f5cbf pushed by utensil
July 18, 2024 03:52 7m 46s main
main
July 18, 2024 03:52 7m 46s
Add "directions in (co)limits" Deploy My forest to Pages #199: Commit 4900bc1 pushed by utensil
July 18, 2024 03:19 9m 33s main
main
July 18, 2024 03:19 9m 33s
Use the new query language to find lost notes Deploy My forest to Pages #198: Commit 351c1d2 pushed by utensil
July 17, 2024 13:35 10m 59s main
main
July 17, 2024 13:35 10m 59s
Fix LaTeX for forester 4.2 Deploy My forest to Pages #197: Commit 3184a03 pushed by utensil
July 17, 2024 07:35 9m 13s main
main
July 17, 2024 07:35 9m 13s
Make a start on topos theory Deploy My forest to Pages #196: Commit a7d3ac2 pushed by utensil
July 16, 2024 14:09 9m 39s main
main
July 16, 2024 14:09 9m 39s
Draft Topos Deploy My forest to Pages #195: Commit 4f6437b pushed by utensil
July 16, 2024 06:10 10m 49s main
main
July 16, 2024 06:10 10m 49s
Add subobject classifier, and polish related concepts Deploy My forest to Pages #194: Commit 91b52dc pushed by utensil
July 16, 2024 04:45 9m 32s main
main
July 16, 2024 04:45 9m 32s
Remove Drafts from home Deploy My forest to Pages #193: Commit d49d626 pushed by utensil
July 16, 2024 03:13 9m 29s main
main
July 16, 2024 03:13 9m 29s
All custom links floats right Deploy My forest to Pages #192: Commit e600f8a pushed by utensil
July 16, 2024 03:06 6m 33s main
main
July 16, 2024 03:06 6m 33s