Skip to content

Actions: chocoteam/choco-solver

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven-test.yml
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update LinearProgram Java CI with Maven #949: Commit ebbc1d3 pushed by cprudhom
March 10, 2025 10:27 6h 0m 24s develop
develop
March 10, 2025 10:27 6h 0m 24s
Bump com.puppycrawl.tools:checkstyle from 10.6.0 to 10.21.4 Java CI with Maven #948: Pull request #1151 opened by dependabot bot
March 4, 2025 22:11 17m 27s dependabot/maven/com.puppycrawl.tools-checkstyle-10.21.4
dependabot/maven/com.puppycrawl.tools-checkstyle-10.21.4
March 4, 2025 22:11 17m 27s
Bump com.puppycrawl.tools:checkstyle from 10.6.0 to 10.21.4 Java CI with Maven #947: Commit 8608b58 pushed by dependabot bot
March 4, 2025 22:11 17m 32s dependabot/maven/com.puppycrawl.tools-checkstyle-10.21.4
dependabot/maven/com.puppycrawl.tools-checkstyle-10.21.4
March 4, 2025 22:11 17m 32s
make ISchedulingFactory.cumulative(IntVar[] starts, int[] durations, … Java CI with Maven #946: Commit e04ec52 pushed by ArthurGodet
March 3, 2025 18:21 5m 50s scheduling
scheduling
March 3, 2025 18:21 5m 50s
merge master into scheduling Java CI with Maven #945: Commit ed1a7b5 pushed by ArthurGodet
March 3, 2025 18:13 2m 32s scheduling
scheduling
March 3, 2025 18:13 2m 32s
API for bitset-based IntVar Java CI with Maven #944: Pull request #1150 opened by cprudhom
February 28, 2025 14:54 29m 26s feat-bitsetvar
feat-bitsetvar
February 28, 2025 14:54 29m 26s
Fix #1120 Java CI with Maven #943: Commit 54a6482 pushed by cprudhom
February 28, 2025 14:52 29m 27s feat-bitsetvar
feat-bitsetvar
February 28, 2025 14:52 29m 27s
Bump org.apache.maven.plugins:maven-project-info-reports-plugin from 3.4.1 to 3.9.0 Java CI with Maven #942: Pull request #1149 opened by dependabot bot
February 26, 2025 22:35 17m 16s dependabot/maven/org.apache.maven.plugins-maven-project-info-reports-plugin-3.9.0
dependabot/maven/org.apache.maven.plugins-maven-project-info-reports-plugin-3.9.0
February 26, 2025 22:35 17m 16s
Bump org.apache.maven.plugins:maven-project-info-reports-plugin Java CI with Maven #941: Commit 440f6b0 pushed by dependabot bot
February 26, 2025 22:35 17m 16s dependabot/maven/org.apache.maven.plugins-maven-project-info-reports-plugin-3.9.0
dependabot/maven/org.apache.maven.plugins-maven-project-info-reports-plugin-3.9.0
February 26, 2025 22:35 17m 16s
In reset() we want to check if PropSat exists before to flush it, but… Java CI with Maven #940: Commit 0777ae0 pushed by cprudhom
February 26, 2025 17:08 30m 4s develop
develop
February 26, 2025 17:08 30m 4s
Fix #1147: move mSat.topLevelCleanUp() to Solver instead of letting L… Java CI with Maven #939: Commit 421a4ca pushed by cprudhom
February 26, 2025 17:05 29m 32s develop
develop
February 26, 2025 17:05 29m 32s
Update statistics of XCSP (related to 16f0ed3848d8e13916aa23e1879b05a… Java CI with Maven #938: Commit 2379d95 pushed by cprudhom
February 26, 2025 15:04 29m 40s develop
develop
February 26, 2025 15:04 29m 40s
Modify reset() and hardReset() Java CI with Maven #937: Pull request #1148 synchronize by cprudhom
February 26, 2025 14:51 29m 11s feat-hardreset
feat-hardreset
February 26, 2025 14:51 29m 11s
In reset() we want to check if PropSat exists before to flush it, but… Java CI with Maven #936: Commit 35dd96d pushed by cprudhom
February 26, 2025 14:51 29m 40s feat-hardreset
feat-hardreset
February 26, 2025 14:51 29m 40s
Change Dimacs to rely on MiniSatSolver and not MiniSat Java CI with Maven #935: Commit 92d5eee pushed by cprudhom
February 26, 2025 14:37 29m 11s develop
develop
February 26, 2025 14:37 29m 11s
Modify reset() and hardReset() Java CI with Maven #934: Pull request #1148 opened by cprudhom
February 26, 2025 14:34 5m 56s feat-hardreset
feat-hardreset
February 26, 2025 14:34 5m 56s
Modify reset to also flush learned clauses (if any) and hardReset to … Java CI with Maven #933: Commit 744599e pushed by cprudhom
February 26, 2025 14:32 6m 8s feat-hardreset
feat-hardreset
February 26, 2025 14:32 6m 8s
Merge remote-tracking branch 'origin/fix-XplusYeqZ' into develop Java CI with Maven #932: Commit 16f0ed3 pushed by cprudhom
February 25, 2025 17:42 29m 39s develop
develop
February 25, 2025 17:42 29m 39s
Merge branch 'split-minisat' into develop Java CI with Maven #931: Commit 458e73d pushed by cprudhom
February 25, 2025 17:41 29m 45s develop
develop
February 25, 2025 17:41 29m 45s
Split extract MiniSatSolver from MiniSat Java CI with Maven #930: Pull request #1146 synchronize by cprudhom
February 25, 2025 16:38 29m 10s split-minisat
split-minisat
February 25, 2025 16:38 29m 10s
Merge branch 'develop' into split-minisat Java CI with Maven #929: Commit 358988a pushed by cprudhom
February 25, 2025 16:38 29m 12s split-minisat
split-minisat
February 25, 2025 16:38 29m 12s
Correction of PropAbsolute explanations Java CI with Maven #928: Commit eaf7b8e pushed by cprudhom
February 25, 2025 15:29 29m 25s split-minisat
split-minisat
February 25, 2025 15:29 29m 25s
Rollback unchecked modification on LCG condition to call topLevelCleanUp Java CI with Maven #927: Commit a1c9380 pushed by cprudhom
February 25, 2025 14:49 5m 58s split-minisat
split-minisat
February 25, 2025 14:49 5m 58s
Correction of PropAbsolute explanations Java CI with Maven #926: Commit 730be36 pushed by cprudhom
February 25, 2025 14:13 17m 25s develop
develop
February 25, 2025 14:13 17m 25s
Merge pull request #1143 from chocoteam/trove/clear Java CI with Maven #925: Commit f531be4 pushed by jgFages
February 25, 2025 13:50 17m 50s develop
develop
February 25, 2025 13:50 17m 50s