Skip to content

Actions: utensil/forest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow run results
223 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Improve mobile responsiveness Deploy My forest to Pages #191: Commit be559ef pushed by utensil
July 16, 2024 02:42 10m 8s main
main
July 16, 2024 02:42 10m 8s
Fix toc scroll issue on mobile Deploy My forest to Pages #190: Commit 0b30593 pushed by utensil
July 16, 2024 02:33 9m 14s main
main
July 16, 2024 02:33 9m 14s
Initial implementation of \lean{} Deploy My forest to Pages #189: Commit bd7520e pushed by utensil
July 15, 2024 15:59 10m 18s main
main
July 15, 2024 15:59 10m 18s
Add cartesian product functor, exponential, cartesian closed Deploy My forest to Pages #188: Commit 12cf8db pushed by utensil
July 15, 2024 10:08 9m 21s main
main
July 15, 2024 10:08 9m 21s
Add "density theorem" Deploy My forest to Pages #187: Commit 6014a8d pushed by utensil
July 15, 2024 05:42 10m 12s main
main
July 15, 2024 05:42 10m 12s
Fix array alignment Deploy My forest to Pages #186: Commit 8f09c81 pushed by utensil
July 13, 2024 15:29 10m 10s main
main
July 13, 2024 15:29 10m 10s
Add "limits commute with limits" and some draft notes Deploy My forest to Pages #185: Commit 397dd82 pushed by utensil
July 13, 2024 15:19 10m 40s main
main
July 13, 2024 15:19 10m 40s
Polish "limit via representation" Deploy My forest to Pages #184: Commit 5d171d3 pushed by utensil
July 13, 2024 10:48 10m 11s main
main
July 13, 2024 10:48 10m 11s
An experiment to make drawing string diagram composable Deploy My forest to Pages #183: Commit afeb786 pushed by utensil
July 12, 2024 14:27 10m 28s main
main
July 12, 2024 14:27 10m 28s
Undraft some notes Deploy My forest to Pages #182: Commit 9b70418 pushed by utensil
July 12, 2024 10:48 8m 57s main
main
July 12, 2024 10:48 8m 57s
Add \uniqobj and fix "adjunction via initial objects" Deploy My forest to Pages #181: Commit 447a6a1 pushed by utensil
July 12, 2024 08:16 10m 8s main
main
July 12, 2024 08:16 10m 8s
Add convention for composition Deploy My forest to Pages #180: Commit c763f5c pushed by utensil
July 12, 2024 07:34 9m 11s main
main
July 12, 2024 07:34 9m 11s
Tweak draft notes Deploy My forest to Pages #179: Commit eb8f0a6 pushed by utensil
July 11, 2024 13:27 9m 21s main
main
July 11, 2024 13:27 9m 21s
Divide special functors Deploy My forest to Pages #178: Commit e48e603 pushed by utensil
July 11, 2024 12:32 10m 33s main
main
July 11, 2024 12:32 10m 33s
Fix transclude Deploy My forest to Pages #177: Commit 98746af pushed by utensil
July 11, 2024 10:12 8m 57s main
main
July 11, 2024 10:12 8m 57s
Separate object functor Deploy My forest to Pages #176: Commit 95c9332 pushed by utensil
July 11, 2024 07:54 9m 3s main
main
July 11, 2024 07:54 9m 3s
Make toc follow scrolling Deploy My forest to Pages #175: Commit fe161fe pushed by utensil
July 11, 2024 05:57 10m 15s main
main
July 11, 2024 05:57 10m 15s
Tweak hom-functors Deploy My forest to Pages #174: Commit 4c845b9 pushed by utensil
July 10, 2024 14:28 10m 46s main
main
July 10, 2024 14:28 10m 46s