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 Event

Filter by Status

Filter by Branch

Filter by Actor

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