Skip to content

Actions: chocoteam/choco-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
817 workflow runs
817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Snapshot package publisher Snapshot package publisher #1158: completed by cprudhom
2m 28s
2m 28s
Snapshot package publisher Snapshot package publisher #1157: completed by cprudhom
2m 16s
2m 16s
License : move to BSD 3-clause Java CI with Maven #1180: Pull request #1187 synchronize by cprudhom
36m 20s feat-lic-update
feat-lic-update
36m 20s
License : move to BSD 3-clause CodeQL #1203: Pull request #1187 synchronize by cprudhom
4m 51s feat-lic-update
feat-lic-update
4m 51s
License : set inception year to 1999 Java CI with Maven #1179: Commit cca2b3b pushed by cprudhom
36m 14s feat-lic-update
feat-lic-update
36m 14s
Snapshot package publisher Snapshot package publisher #1156: completed by cprudhom
2m 49s
2m 49s
Snapshot package publisher Snapshot package publisher #1155: completed by cprudhom
2m 43s
2m 43s
License : move to BSD 3-clause Java CI with Maven #1178: Pull request #1187 opened by cprudhom
35m 47s feat-lic-update
feat-lic-update
35m 47s
License : move to BSD 3-clause CodeQL #1202: Pull request #1187 opened by cprudhom
7m 17s feat-lic-update
feat-lic-update
7m 17s
License : move to BSD 3-clause Java CI with Maven #1177: Commit 932d6d6 pushed by cprudhom
35m 56s feat-lic-update
feat-lic-update
35m 56s
Snapshot package publisher Snapshot package publisher #1154: completed by cprudhom
2m 19s
2m 19s
Table : add binary table now supports STR2+ Java CI with Maven #1176: Commit 7335156 pushed by cprudhom
37m 5s develop
develop
37m 5s
Table : add binary table now supports STR2+ CodeQL #1201: Commit 7335156 pushed by cprudhom
4m 59s develop
develop
4m 59s
Table : add binary table now supports STR2+ Snapshot package publisher #1153: Commit 7335156 pushed by cprudhom
2m 33s develop
develop
2m 33s
Snapshot package publisher Snapshot package publisher #1152: completed by cprudhom
2m 18s
2m 18s
Better compute the new length in ReasonManager + remove comments Java CI with Maven #1175: Commit b653b59 pushed by cprudhom
36m 32s develop
develop
36m 32s
Better compute the new length in ReasonManager + remove comments CodeQL #1200: Commit b653b59 pushed by cprudhom
6m 19s develop
develop
6m 19s
Better compute the new length in ReasonManager + remove comments Snapshot package publisher #1151: Commit b653b59 pushed by cprudhom
2m 12s develop
develop
2m 12s
Snapshot package publisher Snapshot package publisher #1150: completed by cprudhom
2m 40s
2m 40s
Snapshot package publisher Snapshot package publisher #1149: completed by cprudhom
2m 24s
2m 24s
Enhance MiniSat and LCG with improved reason management and optimizations CodeQL #1199: Pull request #1185 synchronize by cprudhom
5m 1s feat-lcg-imp
feat-lcg-imp
5m 1s
Enhance MiniSat and LCG with improved reason management and optimizations Java CI with Maven #1174: Pull request #1185 synchronize by cprudhom
35m 33s feat-lcg-imp
feat-lcg-imp
35m 33s
Better compute the new length in ReasonManager + remove comments Java CI with Maven #1173: Commit 105305e pushed by cprudhom
34m 33s feat-lcg-imp
feat-lcg-imp
34m 33s
CodeQL CodeQL #1198: Scheduled
5m 26s master
master
5m 26s
Snapshot package publisher Snapshot package publisher #1148: completed by ArthurGodet
2m 27s
2m 27s