Skip to content

Actions: pthariensflame/agda-fumulas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Complete extrusion conversions Deploy generated HTML to Pages #52: Commit 6dc1723 pushed by pthariensflame
August 5, 2024 04:40 18s main
main
August 5, 2024 04:40 18s
unbiased ops for fumulas Deploy generated HTML to Pages #51: Commit b30235d pushed by pthariensflame
June 8, 2024 23:10 13s main
main
June 8, 2024 23:10 13s
fumula direct products: generalize universe levels Deploy generated HTML to Pages #50: Commit 497b3ea pushed by pthariensflame
June 8, 2024 19:50 14s main
main
June 8, 2024 19:50 14s
Raw extrusion bundles: universe level relaxation Deploy generated HTML to Pages #49: Commit 3a7f83e pushed by pthariensflame
June 7, 2024 06:38 14s main
main
June 7, 2024 06:38 14s
Extrusion raw bundles Deploy generated HTML to Pages #48: Commit e9c8f9f pushed by pthariensflame
June 7, 2024 06:34 18s main
main
June 7, 2024 06:34 18s
Layerings of extrusions on their fumulas Deploy generated HTML to Pages #47: Commit 5eed4d4 pushed by pthariensflame
June 7, 2024 02:07 15s main
main
June 7, 2024 02:07 15s
alternating pullouts in extrusions Deploy generated HTML to Pages #46: Commit e462c2e pushed by pthariensflame
June 7, 2024 01:37 17s main
main
June 7, 2024 01:37 17s
Collapse extrusions Deploy generated HTML to Pages #45: Commit 56c520b pushed by pthariensflame
June 6, 2024 22:29 15s main
main
June 6, 2024 22:29 15s
❲❳⤙⤚-⤙⤚❲❳-double-exchange (for real) Deploy generated HTML to Pages #44: Commit c74c607 pushed by pthariensflame
June 6, 2024 05:55 19s main
main
June 6, 2024 05:55 19s
Generalize levels in direct products of extrusions Deploy generated HTML to Pages #43: Commit 1ae11d9 pushed by pthariensflame
June 6, 2024 04:56 21s main
main
June 6, 2024 04:56 21s
fumulas as tensor units of fumula extrusions Deploy generated HTML to Pages #42: Commit d3d837d pushed by pthariensflame
June 6, 2024 04:33 15s main
main
June 6, 2024 04:33 15s
Move subscripts to superscripts for consistency Deploy generated HTML to Pages #41: Commit 6d67bc5 pushed by pthariensflame
May 27, 2024 18:01 18s main
main
May 27, 2024 18:01 18s
Construction of Fumulas pointwise Deploy generated HTML to Pages #40: Commit 8834f23 pushed by pthariensflame
May 27, 2024 07:10 21s main
main
May 27, 2024 07:10 21s
Construction of extrusions Deploy generated HTML to Pages #39: Commit 925cd58 pushed by pthariensflame
May 6, 2024 03:13 14s main
main
May 6, 2024 03:13 14s
collapse-side move out of extrustions too Deploy generated HTML to Pages #38: Commit 8c73dfd pushed by pthariensflame
May 5, 2024 22:46 19s main
main
May 5, 2024 22:46 19s
Side collapse: move out of structure Deploy generated HTML to Pages #37: Commit bbe3bd4 pushed by pthariensflame
May 5, 2024 22:15 15s main
main
May 5, 2024 22:15 15s
Side collapse: move out of structure Deploy generated HTML to Pages #36: Commit c882d62 pushed by pthariensflame
May 5, 2024 22:13 20s main
main
May 5, 2024 22:13 20s
Conversion: commutative rings/reversible fumulas Deploy generated HTML to Pages #35: Commit b505a41 pushed by pthariensflame
May 5, 2024 22:04 15s main
main
May 5, 2024 22:04 15s
Finish conversion of extrusions themselves Deploy generated HTML to Pages #34: Commit 5304362 pushed by pthariensflame
May 5, 2024 09:46 19s main
main
May 5, 2024 09:46 19s
double extrusion conversions Deploy generated HTML to Pages #33: Commit c28c868 pushed by pthariensflame
May 5, 2024 09:15 13s main
main
May 5, 2024 09:15 13s
double extrusion conversions (partly)) Deploy generated HTML to Pages #32: Commit 5bc9a96 pushed by pthariensflame
May 5, 2024 08:28 14s main
main
May 5, 2024 08:28 14s
Rename: Bi -> Double Deploy generated HTML to Pages #31: Commit d6c4c40 pushed by pthariensflame
May 5, 2024 08:05 18s main
main
May 5, 2024 08:05 18s
Bundle conversions Deploy generated HTML to Pages #30: Commit 34aac98 pushed by pthariensflame
May 5, 2024 07:54 13s main
main
May 5, 2024 07:54 13s
Right extrusion conversions complete Deploy generated HTML to Pages #29: Commit 55e1d9d pushed by pthariensflame
May 5, 2024 07:39 14s main
main
May 5, 2024 07:39 14s
Finish heartline properties Deploy generated HTML to Pages #28: Commit 420bf2a pushed by pthariensflame
May 5, 2024 07:19 16s main
main
May 5, 2024 07:19 16s