Skip to content

Actions: chocoteam/choco-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
837 workflow runs
837 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace Cumulative implementation by state-of-the-art implementation of TimeTabling and OverloadChecking Java CI with Maven #1072: Pull request #1165 synchronize by ArthurGodet
28m 37s feature/cumulative
feature/cumulative
28m 37s
make sure cumulative tests run in less than 1 minute in TestExplanation Java CI with Maven #1071: Commit cd07cbe pushed by ArthurGodet
28m 28s feature/cumulative
feature/cumulative
28m 28s
Snapshot package publisher Snapshot package publisher #1039: completed by ArthurGodet
1m 18s
1m 18s
Snapshot package publisher Snapshot package publisher #1038: completed by ArthurGodet
1m 26s
1m 26s
Replace Cumulative implementation by state-of-the-art implementation of TimeTabling and OverloadChecking Java CI with Maven #1070: Pull request #1165 synchronize by ArthurGodet
13m 0s feature/cumulative
feature/cumulative
13m 0s
fix explanations for PropagatorCumulative Java CI with Maven #1069: Commit f5ce2a5 pushed by ArthurGodet
13m 45s feature/cumulative
feature/cumulative
13m 45s
Snapshot package publisher Snapshot package publisher #1037: completed by ArthurGodet
1m 23s
1m 23s
Snapshot package publisher Snapshot package publisher #1036: completed by ArthurGodet
1m 20s
1m 20s
Replace Cumulative implementation by state-of-the-art implementation of TimeTabling and OverloadChecking Java CI with Maven #1068: Pull request #1165 synchronize by ArthurGodet
13m 57s feature/cumulative
feature/cumulative
13m 57s
Replace Cumulative implementation by state-of-the-art implementation of TimeTabling and OverloadChecking CodeQL #1143: Pull request #1165 synchronize by ArthurGodet
6m 24s feature/cumulative
feature/cumulative
6m 24s
fix Profile sweep algorithm for explanations + WIP for explanations i… Java CI with Maven #1067: Commit bc50611 pushed by ArthurGodet
12m 58s feature/cumulative
feature/cumulative
12m 58s
CodeQL CodeQL #1142: Scheduled
6m 30s master
master
6m 30s
Snapshot package publisher Snapshot package publisher #1035: completed by cprudhom
1m 19s
1m 19s
Snapshot package publisher Snapshot package publisher #1034: completed by cprudhom
1m 23s
1m 23s
Snapshot package publisher Snapshot package publisher #1033: completed by cprudhom
1m 15s
1m 15s
Changes made in preparation for the XCSP3 and MiniZinc competitions Java CI with Maven #1066: Pull request #1167 synchronize by cprudhom
28m 53s xcsp
xcsp
28m 53s
Changes made in preparation for the XCSP3 and MiniZinc competitions CodeQL #1141: Pull request #1167 synchronize by cprudhom
4m 56s xcsp
xcsp
4m 56s
MiniSat: move Clause#allFalseButOne to MiniSat#isAssertingClause Java CI with Maven #1065: Commit ca30903 pushed by cprudhom
1d 0h 0m 3s xcsp
xcsp
1d 0h 0m 3s
Snapshot package publisher Snapshot package publisher #1032: completed by cprudhom
1m 47s
1m 47s
Changes made in preparation for the XCSP3 and MiniZinc competitions CodeQL #1140: Pull request #1167 synchronize by cprudhom
6m 40s xcsp
xcsp
6m 40s
Changes made in preparation for the XCSP3 and MiniZinc competitions Java CI with Maven #1064: Pull request #1167 synchronize by cprudhom
28m 22s xcsp
xcsp
28m 22s
LCG : add new assertion when enqueuing literal in MiniSat Java CI with Maven #1063: Commit 55e0c1d pushed by cprudhom
1d 0h 0m 2s xcsp
xcsp
1d 0h 0m 2s
CodeQL CodeQL #1139: Scheduled
6m 7s master
master
6m 7s
Snapshot package publisher Snapshot package publisher #1031: completed by cprudhom
1m 14s
1m 14s
Snapshot package publisher Snapshot package publisher #1030: completed by cprudhom
1m 21s
1m 21s