Skip to content

Actions: smimram/cccatt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show elaboration. Build #48: Commit 5bdda4a pushed by smimram
October 18, 2024 12:54 1m 11s main
main
October 18, 2024 12:54 1m 11s
Handle meta. Build #47: Commit e50ce6d pushed by smimram
October 18, 2024 12:02 1m 10s main
main
October 18, 2024 12:02 1m 10s
Correct B Build #46: Commit 969b0c5 pushed by smimram
October 18, 2024 11:59 1m 14s main
main
October 18, 2024 11:59 1m 14s
Focus. Build #45: Commit d1c6298 pushed by smimram
October 2, 2024 15:49 1m 6s main
main
October 2, 2024 15:49 1m 6s
Two windows. Build #44: Commit 74ae0d7 pushed by smimram
October 2, 2024 15:40 1m 33s main
main
October 2, 2024 15:40 1m 33s
Fix. Build #43: Commit 3b0fa6f pushed by smimram
October 2, 2024 14:43 1m 35s main
main
October 2, 2024 14:43 1m 35s
Title. Build #42: Commit b8e492f pushed by smimram
October 2, 2024 14:42 1m 2s main
main
October 2, 2024 14:42 1m 2s
Doc. Build #41: Commit 1e4d4d8 pushed by smimram
October 2, 2024 14:40 48s main
main
October 2, 2024 14:40 48s
More samples. Build #40: Commit 295985f pushed by smimram
October 2, 2024 14:38 48s main
main
October 2, 2024 14:38 48s
More. Build #39: Commit 9e0fbc3 pushed by smimram
October 2, 2024 14:32 3m 54s main
main
October 2, 2024 14:32 3m 54s
css too Build #38: Commit 280429d pushed by smimram
October 2, 2024 14:31 51s main
main
October 2, 2024 14:31 51s
Also generate website. Build #37: Commit 326b412 pushed by smimram
October 2, 2024 14:29 1m 27s main
main
October 2, 2024 14:29 1m 27s
Deploy pages. Build #36: Commit 44cbfc3 pushed by smimram
October 2, 2024 14:20 37s main
main
October 2, 2024 14:20 37s
readme. Build #35: Commit be6a55a pushed by smimram
October 2, 2024 14:19 31s main
main
October 2, 2024 14:19 31s
For later. Build #34: Commit b8ee062 pushed by smimram
September 27, 2024 17:14 30s main
main
September 27, 2024 17:14 30s
Curry vs uncurry. Build #33: Commit b53c41c pushed by smimram
September 27, 2024 13:59 25s main
main
September 27, 2024 13:59 25s
Working holes. Build #32: Commit d770ecf pushed by smimram
September 27, 2024 12:44 22s main
main
September 27, 2024 12:44 22s
Get started with holes. Build #31: Commit 43c5d49 pushed by smimram
September 27, 2024 12:35 24s main
main
September 27, 2024 12:35 24s
curry. Build #30: Commit ef2b05a pushed by smimram
September 27, 2024 12:17 40s main
main
September 27, 2024 12:17 40s
Emacs mode. Build #29: Commit d599686 pushed by smimram
September 27, 2024 10:48 28s main
main
September 27, 2024 10:48 28s
Split library. Build #28: Commit c4b29ba pushed by smimram
September 27, 2024 10:21 32s main
main
September 27, 2024 10:21 32s
K' as a coh. Build #27: Commit 084a322 pushed by smimram
September 27, 2024 09:22 31s main
main
September 27, 2024 09:22 31s
More. Build #26: Commit c248f8c pushed by smimram
September 27, 2024 09:21 35s main
main
September 27, 2024 09:21 35s
Correct let typing. Build #25: Commit 64413a4 pushed by smimram
September 27, 2024 09:08 28s main
main
September 27, 2024 09:08 28s
Add support for functions. Build #24: Commit e347c5a pushed by smimram
September 27, 2024 09:00 24s main
main
September 27, 2024 09:00 24s