Skip to content

Actions: PPKFS/yaifl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

type->kind
build #25: Commit 394fa0f pushed by PPKFS
January 27, 2024 21:29 2m 55s main
January 27, 2024 21:29 2m 55s
Add device and person
build #24: Commit 8a796a8 pushed by PPKFS
January 25, 2024 20:51 3m 10s main
January 25, 2024 20:51 3m 10s
Keep working on firstnamebasis
build #23: Commit d10bfd9 pushed by PPKFS
January 19, 2024 14:21 3m 45s main
January 19, 2024 14:21 3m 45s
Finished the module rework. This was totally not yet another waste of…
build #22: Commit 3f27181 pushed by PPKFS
January 18, 2024 20:34 9m 8s main
January 18, 2024 20:34 9m 8s
Port Royal 3 passes (regions) even if the example doesn't actually do…
build #21: Commit 46e9bef pushed by PPKFS
January 4, 2024 16:16 3m 52s main
January 4, 2024 16:16 3m 52s
Redesign the test harness and force some bounds to make CI happy
build #20: Commit b5b09a8 pushed by PPKFS
January 3, 2024 12:49 3m 14s main
January 3, 2024 12:49 3m 14s
Lots of trying to adjust the spacing conventions
build #19: Commit 69ca634 pushed by PPKFS
January 1, 2024 19:49 3m 14s main
January 1, 2024 19:49 3m 14s
Start fiddling with newline/pbreaks
build #18: Commit 568352b pushed by PPKFS
December 31, 2023 11:33 2m 55s main
December 31, 2023 11:33 2m 55s
format cabal and remove a hanging let
build #17: Commit 2877bf1 pushed by PPKFS
December 29, 2023 18:09 3m 12s main
December 29, 2023 18:09 3m 12s
Example #9 now passes
build #16: Commit c18e2cb pushed by PPKFS
December 29, 2023 18:01 3m 55s main
December 29, 2023 18:01 3m 55s