Skip to content

Actions: codingteam/icfpc-2026

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Represent all the middle points of a pipe Main #15: Commit 5e30291 pushed by Minoru
8m 14s main
main
8m 14s
Add low-level types, parser module, and test harness Main #14: Commit 3de0a0c pushed by Minoru
8m 51s main
main
8m 51s
Update the Cabal file Main #13: Commit d4f9524 pushed by ForNeVeR
2m 33s main
main
2m 33s
shink sudoku solution a bit Main #12: Commit 977cf09 pushed by Akon32
9m 59s main
main
9m 59s
add sudoku solution Main #11: Commit c65fbe2 pushed by Akon32
9m 11s main
main
9m 11s
More optimized reverse list solution Main #10: Commit 701196d pushed by gsomix
8m 49s main
main
8m 49s
More optimized reverse list solution Main #9: Commit 48ccedf pushed by gsomix
10m 28s main
main
10m 28s
Add reverse list solution Main #8: Commit 916cf57 pushed by gsomix
9m 7s main
main
9m 7s
Solution for the first task Main #7: Commit 3f8372c pushed by ForNeVeR
9m 58s main
main
9m 58s
Upload the current spec Main #6: Commit 0cca29c pushed by ForNeVeR
9m 45s main
main
9m 45s
Docs: update the contest page Main #5: Commit 9c166c3 pushed by ForNeVeR
9m 29s main
main
9m 29s
Package: update the metadata Main #4: Commit 3b879af pushed by ForNeVeR
10m 58s main
main
10m 58s
CI: fix GitHub workflows Main #3: Pull request #2 synchronize by ForNeVeR
11m 31s ci
ci
11m 31s
CI: fix GitHub workflows Main #2: Pull request #2 opened by ForNeVeR
9m 44s ci
ci
9m 44s
Main Main #1: Manually run by ForNeVeR
12m 18s main
main
12m 18s