Skip to content

Actions: codingteam/icfpc-2025

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 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
Add Foxtran's report Main #58: Commit bc77c8d pushed by foxtran
1m 23s main
main
1m 23s
Docs: add a link to my report Main #57: Commit 004a967 pushed by ForNeVeR
1m 35s main
main
1m 35s
Documentation+ Main #56: Commit f26a540 pushed by ForNeVeR
1m 52s main
main
1m 52s
Documentation Main #55: Commit 8a8c095 pushed by ForNeVeR
2m 37s main
main
2m 37s
Merge branch 'feature/logic' Main #54: Commit 1fc396b pushed by ForNeVeR
1m 45s main
main
1m 45s
Add doc to solution Main #53: Commit 6a9aa96 pushed by foxtran
1m 48s main
main
1m 48s
Add doc in step Main #52: Commit 491139d pushed by foxtran
2m 9s main
main
2m 9s
No docs in git Main #51: Commit b119937 pushed by foxtran
1m 59s main
main
1m 59s
Add doxygen Main #50: Commit 2e2083e pushed by foxtran
3m 46s main
main
3m 46s
Add OpenMP parallelization Main #49: Commit a2c0fee pushed by foxtran
2m 44s main
main
2m 44s
Too many guesses Main #48: Commit 69ff238 pushed by foxtran
2m 47s main
main
2m 47s
Implement infinity search Main #47: Commit bc1341d pushed by foxtran
1m 52s main
main
1m 52s
wip: SatSolver Main #46: Commit 6dba0dc pushed by gsomix
1m 35s main
main
1m 35s
wip: SatSolver Main #45: Commit 562d009 pushed by gsomix
1m 37s main
main
1m 37s
Implement guessing Main #44: Commit 3414094 pushed by foxtran
1m 41s main
main
1m 41s
DynamicSolver appears to be working, but slow Main #43: Commit 02e8941 pushed by portnov
1m 41s main
main
1m 41s
wip: SatSolver Main #42: Commit b491c1b pushed by gsomix
1m 51s main
main
1m 51s
Add door deepcopy Main #41: Commit 2bbd218 pushed by foxtran
2m 34s main
main
2m 34s
This version rollbacks earlier. Main #40: Commit 462f6fe pushed by portnov
1m 42s main
main
1m 42s
DynamicSolver: it tries to work, but does not :/ Main #39: Commit 16113f2 pushed by portnov
1m 46s main
main
1m 46s
fix: build Main #38: Commit 23adff4 pushed by gsomix
1m 46s main
main
1m 46s
DynamicSolver still does not work fully, but at least somehow Main #37: Commit d4aae80 pushed by portnov
1m 12s main
main
1m 12s
wip: SatSolver Main #36: Commit b72fd67 pushed by gsomix
1m 34s main
main
1m 34s
wip: SatSolver Main #35: Pull request #2 opened by gsomix
3m 32s feat/sat
feat/sat
3m 32s
Finalize explore Main #34: Commit d217413 pushed by foxtran
1m 56s main
main
1m 56s