Skip to content

Actions: DanGooding/koka-zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update coroutines example to use a task queue check-no-todos #46: Commit 4148416 pushed by DanGooding
10s main
main
10s
Update coroutines example to use a task queue Build and push container image #43: Commit 4148416 pushed by DanGooding
30s main
main
30s
Collect pythagorean triples into a list Build and push container image #42: Commit 6d18e03 pushed by DanGooding
22m 49s main
main
22m 49s
Collect pythagorean triples into a list check-no-todos #45: Commit 6d18e03 pushed by DanGooding
6s main
main
6s
Add list sorting check-no-todos #44: Commit 0df4e82 pushed by DanGooding
9s main
main
9s
Add list sorting Build and push container image #41: Commit 0df4e82 pushed by DanGooding
20m 21s main
main
20m 21s
Add list sorting check-no-todos #43: Commit d19c026 pushed by DanGooding
9s add-sorting-to-prelude
add-sorting-to-prelude
9s
Add test of purity with nested functions Build and push container image #40: Commit abbee17 pushed by DanGooding
21m 31s main
main
21m 31s
Add test of purity with nested functions check-no-todos #42: Commit abbee17 pushed by DanGooding
8s main
main
8s
Add test of purity with nested functions check-no-todos #41: Commit 226ad02 pushed by DanGooding
9s fix-subexpression-purity-check
fix-subexpression-purity-check
9s
Add fold-right and concat-all to prelude Build and push container image #39: Commit e258f56 pushed by DanGooding
21m 14s main
main
21m 14s
Add fold-right and concat-all to prelude check-no-todos #40: Commit e258f56 pushed by DanGooding
9s main
main
9s
Move samples to be tests check-no-todos #39: Commit 6b379b3 pushed by DanGooding
10s main
main
10s
Move samples to be tests Build and push container image #38: Commit 6b379b3 pushed by DanGooding
27s main
main
27s
Move samples to be tests check-no-todos #38: Commit 6c46a36 pushed by DanGooding
12s samples-to-tests
samples-to-tests
12s
Fix list-equal in prelude check-no-todos #37: Commit c2fed71 pushed by DanGooding
13s main
main
13s
Fix list-equal in prelude Build and push container image #37: Commit c2fed71 pushed by DanGooding
2m 45s main
main
2m 45s
Fix list-equal in prelude check-no-todos #36: Commit 5076847 pushed by DanGooding
9s add-prelude
add-prelude
9s
Fix list-equal in prelude check-no-todos #35: Commit 3dfc83e pushed by DanGooding
7s add-prelude
add-prelude
7s
Add basic standard library Build and push container image #36: Commit 5b0c2a4 pushed by DanGooding
2m 4s main
main
2m 4s
Add basic standard library check-no-todos #34: Commit 5b0c2a4 pushed by DanGooding
7s main
main
7s
Add basic standard library check-no-todos #33: Commit 3c7eb66 pushed by DanGooding
6s add-prelude
add-prelude
6s
Link to playground in readme check-no-todos #32: Commit 59f6fd5 pushed by DanGooding
7s main
main
7s
Link to playground in readme Build and push container image #35: Commit 59f6fd5 pushed by DanGooding
29s main
main
29s
Only build on main check-no-todos #31: Commit cd0130c pushed by DanGooding
31s main
main
31s