Skip to content

Actions: smimram/cccatt

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another take. Build #198: Commit 38d39b9 pushed by smimram
February 7, 2025 17:00 1m 11s main
main
February 7, 2025 17:00 1m 11s
Full. Build #197: Commit d0b0ff3 pushed by smimram
February 7, 2025 16:59 1m 0s main
main
February 7, 2025 16:59 1m 0s
One more. Build #196: Commit ed84409 pushed by smimram
February 7, 2025 16:55 57s main
main
February 7, 2025 16:55 57s
Another version of CCC. Build #195: Commit dfe1867 pushed by smimram
February 7, 2025 16:52 56s main
main
February 7, 2025 16:52 56s
More precise ref. Build #194: Commit 0a0ad35 pushed by smimram
February 5, 2025 14:05 1m 5s main
main
February 5, 2025 14:05 1m 5s
Cartesian closed categories! Build #193: Commit 58c4bb8 pushed by smimram
February 5, 2025 14:04 1m 16s main
main
February 5, 2025 14:04 1m 16s
Axiom for terminal object. Build #192: Commit bb87f76 pushed by smimram
February 5, 2025 08:38 1m 11s main
main
February 5, 2025 08:38 1m 11s
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