Skip to content

Actions: smimram/cccatt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow loading example. Build #191: Commit 4c9673e pushed by smimram
February 1, 2025 17:43 53s main
main
February 1, 2025 17:43 53s
Even newer. Build #190: Commit 36921b0 pushed by smimram
January 31, 2025 09:02 1m 5s main
main
January 31, 2025 09:02 1m 5s
Newer here too. Build #189: Commit 595b9b3 pushed by smimram
January 31, 2025 08:58 1m 5s main
main
January 31, 2025 08:58 1m 5s
Newer version. Build #188: Commit 11998e5 pushed by smimram
January 31, 2025 08:55 1m 6s main
main
January 31, 2025 08:55 1m 6s
SKI Build #187: Commit 9426039 pushed by smimram
January 31, 2025 07:52 13s main
main
January 31, 2025 07:52 13s
libdir. Build #186: Commit 8fc8676 pushed by smimram
January 30, 2025 10:25 1m 11s main
main
January 30, 2025 10:25 1m 11s
Verbose. Build #185: Commit 9c5dfc5 pushed by smimram
January 30, 2025 10:20 36s main
main
January 30, 2025 10:20 36s
Back to prefix. Build #184: Commit bfb18d9 pushed by smimram
January 30, 2025 10:18 53s main
main
January 30, 2025 10:18 53s
Doc. Build #183: Commit 774b685 pushed by smimram
January 30, 2025 10:13 36s main
main
January 30, 2025 10:13 36s
Try mandir. Build #182: Commit 510aaf7 pushed by smimram
January 30, 2025 10:12 39s main
main
January 30, 2025 10:12 39s
Set prefix. Build #181: Commit 54ed764 pushed by smimram
January 30, 2025 09:57 35s main
main
January 30, 2025 09:57 35s
The Owl. Build #180: Commit 55d7fea pushed by smimram
January 29, 2025 18:22 43s main
main
January 29, 2025 18:22 43s
Remove debug. Build #179: Commit 55a290d pushed by smimram
January 29, 2025 18:06 1m 40s main
main
January 29, 2025 18:06 1m 40s
Depth setting. Build #178: Commit 8b0d829 pushed by smimram
January 7, 2025 22:33 53s main
main
January 7, 2025 22:33 53s
A bit more. Build #177: Commit accc043 pushed by smimram
December 13, 2024 13:04 1m 8s main
main
December 13, 2024 13:04 1m 8s
More SMCC. Build #176: Commit 3b19ad4 pushed by smimram
December 13, 2024 11:19 1m 1s main
main
December 13, 2024 11:19 1m 1s
Get ready for SMCC. Build #175: Commit 715510c pushed by smimram
December 12, 2024 17:14 3m 0s main
main
December 12, 2024 17:14 3m 0s
Naturality. Build #174: Commit e09b00e pushed by smimram
December 12, 2024 17:02 1m 36s main
main
December 12, 2024 17:02 1m 36s
Reset mode. Build #173: Commit ed7ee68 pushed by smimram
December 12, 2024 16:25 1m 4s main
main
December 12, 2024 16:25 1m 4s
Backward compat. Build #172: Commit 1578ab4 pushed by smimram
December 12, 2024 12:55 1m 5s main
main
December 12, 2024 12:55 1m 5s
Symmetric monoidal categories. Build #171: Commit fa25e99 pushed by smimram
December 12, 2024 12:53 31s main
main
December 12, 2024 12:53 31s
Pentagon. Build #170: Commit 69f2a2c pushed by smimram
December 12, 2024 11:59 1m 3s main
main
December 12, 2024 11:59 1m 3s
Printing. Build #169: Commit cc9e9d0 pushed by smimram
December 12, 2024 11:45 1m 0s main
main
December 12, 2024 11:45 1m 0s
Add web support. Build #168: Commit bc4d85c pushed by smimram
December 12, 2024 11:39 56s main
main
December 12, 2024 11:39 56s
Progress on monoidal. Build #167: Commit 6ec4a86 pushed by smimram
December 12, 2024 09:12 1m 17s main
main
December 12, 2024 09:12 1m 17s