Skip to content

Actions: PPKFS/yaifl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do a lot of fiddling to make stuff less depending on Eff es
CI #93: Commit a124b94 pushed by PPKFS
November 18, 2023 15:19 3m 36s main
November 18, 2023 15:19 3m 36s
Fiddle with the door code
CI #92: Commit f208f53 pushed by PPKFS
November 15, 2023 21:01 3m 26s main
November 15, 2023 21:01 3m 26s
Start on doorlike
CI #91: Commit f6e856f pushed by PPKFS
November 9, 2023 21:03 3m 26s main
November 9, 2023 21:03 3m 26s
Mostly finish moving to a typed entity system
CI #90: Commit 47e4f17 pushed by PPKFS
November 7, 2023 15:38 7m 30s main
November 7, 2023 15:38 7m 30s
Split up ObjectLike
CI #89: Commit 6d9640e pushed by PPKFS
November 5, 2023 11:01 7m 41s main
November 5, 2023 11:01 7m 41s
November 4, 2023 21:23 3m 59s
Finish conditional quasiquoting
CI #87: Commit c43e540 pushed by PPKFS
November 1, 2023 21:20 5m 57s main
November 1, 2023 21:20 5m 57s
Start on an if quasiquote
CI #86: Commit e7fef20 pushed by PPKFS
October 31, 2023 21:16 6m 43s main
October 31, 2023 21:16 6m 43s
Example #6 now passes
CI #85: Commit ea2774c pushed by PPKFS
October 23, 2023 15:37 7m 13s main
October 23, 2023 15:37 7m 13s
Rejig things to hopefully make editing actions possible
CI #84: Commit 25632fb pushed by PPKFS
October 23, 2023 14:26 6m 26s main
October 23, 2023 14:26 6m 26s
Example #5 now passes
CI #83: Commit 8a67d32 pushed by PPKFS
October 23, 2023 11:20 6m 45s main
October 23, 2023 11:20 6m 45s
October 22, 2023 20:37 6m 30s
Flesh out Port Royal 1
CI #81: Commit 4b9abcf pushed by PPKFS
October 22, 2023 10:52 5m 57s main
October 22, 2023 10:52 5m 57s
October 21, 2023 20:15 6m 7s
Tidy up commits
CI #79: Commit e512122 pushed by PPKFS
October 21, 2023 16:40 5m 49s main
October 21, 2023 16:40 5m 49s
Bump run_no, update gitignore
CI #78: Commit 8a2ebe3 pushed by PPKFS
October 21, 2023 16:39 5m 38s main
October 21, 2023 16:39 5m 38s
All Chapter 3.1 tests pass
CI #77: Commit 533be5a pushed by PPKFS
October 21, 2023 11:37 5m 57s main
October 21, 2023 11:37 5m 57s
the second test passes if I fix the golden test-ness
CI #76: Commit 0744e93 pushed by PPKFS
October 21, 2023 08:59 5m 51s main
October 21, 2023 08:59 5m 51s
the second test passes if I fix the golden test-ness
CI #75: Commit db80784 pushed by PPKFS
October 21, 2023 08:56 5m 48s main
October 21, 2023 08:56 5m 48s
October 20, 2023 20:19 5m 47s
Fix up going
CI #73: Commit 6dd2ca9 pushed by PPKFS
October 20, 2023 13:25 7m 34s main
October 20, 2023 13:25 7m 34s
Flesh out going
CI #72: Commit 44943ce pushed by PPKFS
October 10, 2023 19:52 7m 22s main
October 10, 2023 19:52 7m 22s