Skip to content

Actions: Eignex/klause

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,326 workflow runs
2,326 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
feat: remove the xcsp3 negTableCap and build large tables and decompositions build #2330: Pull request #1410 synchronize by rasros
5m 19s feat/remove-neg-table-cap
feat/remove-neg-table-cap
5m 19s
feat: remove the xcsp3 negTableCap and build large tables and decompositions build #2329: Pull request #1410 opened by rasros
12m 35s feat/remove-neg-table-cap
feat/remove-neg-table-cap
12m 35s
chore: update Gradle, Kotlin, kotlinx libraries and eignex dependencies build #2328: Pull request #1409 synchronize by rasros
13m 27s chore/bump-deps
chore/bump-deps
13m 27s
refactor: move the streaming IO into util and tidy the front-end comm… build #2327: Commit 89734f3 pushed by rasros
12m 30s main
main
12m 30s
chore: update Gradle, Kotlin, kotlinx libraries and eignex dependencies build #2326: Pull request #1409 opened by rasros
14m 45s chore/bump-deps
chore/bump-deps
14m 45s
refactor: move the streaming IO into util and tidy the front-end comments build #2325: Pull request #1408 opened by rasros
13m 11s cleanup/streaming-tidy
cleanup/streaming-tidy
13m 11s
test: verify every front-end parses identically across chunk boundaries build #2324: Commit edbb3cd pushed by rasros
12m 34s main
main
12m 34s
refactor: add a streaming CharSource input seam for the front-ends build #2323: Pull request #1401 opened by rasros
15m 4s refactor/streaming-foundation
refactor/streaming-foundation
15m 4s
perf: reuse the parsed intension template across xcsp3 group instances build #2322: Commit 9386af9 pushed by rasros
11m 33s main
main
11m 33s
perf: reuse the parsed intension template across xcsp3 group instances build #2321: Pull request #1400 opened by rasros
13m 42s perf/xcsp3-intension-template
perf/xcsp3-intension-template
13m 42s
perf: build the wide pseudo-Boolean pin antecedent once per fixpoint … build #2320: Commit 39de95f pushed by rasros
12m 40s main
main
12m 40s
perf: build the wide pseudo-Boolean pin antecedent once per fixpoint fire build #2319: Pull request #1399 opened by rasros
9m 59s perf/pb-root-bake-fixpoint
perf/pb-root-bake-fixpoint
9m 59s
refactor: make base Problem raw and drop the deferBake/preFolded flags build #2318: Commit db6e051 pushed by rasros
9m 53s main
main
9m 53s
refactor: make base Problem raw and drop the deferBake/preFolded flags build #2317: Pull request #1398 synchronize by rasros
14m 31s refactor/raw-problem-drop-flags
refactor/raw-problem-drop-flags
14m 31s
refactor: split Problem into raw Problem and solve-ready BakedProblem build #2316: Pull request #1396 synchronize by rasros
14m 10s refactor/baked-problem-type
refactor/baked-problem-type
14m 10s
refactor: read the search state's rootDomains for the root domain build #2315: Pull request #1395 synchronize by rasros
14m 58s refactor/root-domains-decoupling
refactor/root-domains-decoupling
14m 58s
refactor: rename CompiledProblem to CompiledSchema build #2314: Commit 20a1f04 pushed by rasros
11m 35s main
main
11m 35s
refactor: rename CompiledProblem to CompiledSchema build #2313: Pull request #1394 opened by rasros
14m 35s refactor/rename-compiled-schema
refactor/rename-compiled-schema
14m 35s
refactor: add Problem.bakedDomains, an always-folded domain view build #2312: Commit da53031 pushed by rasros
12m 59s main
main
12m 59s
refactor: add Problem.bakedDomains, an always-folded domain view build #2311: Pull request #1393 opened by rasros
13m 46s refactor/baked-domains-accessor
refactor/baked-domains-accessor
13m 46s
chore: remove the vestigial construction-time bake budget build #2310: Commit 1d018a1 pushed by rasros
13m 18s main
main
13m 18s
refactor: defer the DIMACS, WCNF, and OPB base bake to presolve step 0 build #2309: Commit 5edac3b pushed by rasros
12m 26s main
main
12m 26s
chore: remove the vestigial construction-time bake budget build #2308: Pull request #1392 opened by rasros
9m 34s chore/remove-vestigial-bake-budget
chore/remove-vestigial-bake-budget
9m 34s
refactor: defer the DIMACS, WCNF, and OPB base bake to presolve step 0 build #2307: Pull request #1391 opened by rasros
11m 36s perf/defer-boolean-bake
perf/defer-boolean-bake
11m 36s
refactor: run MPS OBBT in the presolve phase instead of at load build #2306: Commit 5f69e0d pushed by rasros
13m 18s main
main
13m 18s