Skip to content

Actions: chocoteam/choco-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
797 workflow runs
797 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1198: Scheduled
5m 26s master
master
5m 26s
Snapshot package publisher Snapshot package publisher #1148: completed by ArthurGodet
2m 27s
2m 27s
faster large modulo (#1186) Snapshot package publisher #1147: Commit 70d4bf9 pushed by ArthurGodet
2m 26s develop
develop
2m 26s
faster large modulo (#1186) CodeQL #1197: Commit 70d4bf9 pushed by ArthurGodet
4m 56s develop
develop
4m 56s
faster large modulo (#1186) Java CI with Maven #1172: Commit 70d4bf9 pushed by ArthurGodet
36m 9s develop
develop
36m 9s
Snapshot package publisher Snapshot package publisher #1146: completed by jgFages
2m 30s
2m 30s
Snapshot package publisher Snapshot package publisher #1145: completed by jgFages
2m 33s
2m 33s
faster large modulo Java CI with Maven #1171: Pull request #1186 opened by jgFages
35m 16s JG/modulo
JG/modulo
35m 16s
faster large modulo CodeQL #1196: Pull request #1186 opened by jgFages
5m 3s JG/modulo
JG/modulo
5m 3s
faster large modulo Java CI with Maven #1170: Commit 54172eb pushed by jgFages
34m 50s JG/modulo
JG/modulo
34m 50s
Snapshot package publisher Snapshot package publisher #1144: completed by cprudhom
2m 23s
2m 23s
Snapshot package publisher Snapshot package publisher #1143: completed by cprudhom
2m 38s
2m 38s
Enhance MiniSat and LCG with improved reason management and optimizations Java CI with Maven #1169: Pull request #1185 opened by cprudhom
36m 12s feat-lcg-imp
feat-lcg-imp
36m 12s
Enhance MiniSat and LCG with improved reason management and optimizations CodeQL #1195: Pull request #1185 opened by cprudhom
5m 13s feat-lcg-imp
feat-lcg-imp
5m 13s
LCG : make possible de recycle n-ary reasons to limit the creation of… Java CI with Maven #1168: Commit 8c26d98 pushed by cprudhom
36m 32s feat-lcg-imp
feat-lcg-imp
36m 32s
CodeQL CodeQL #1194: Scheduled
5m 33s master
master
5m 33s
CodeQL CodeQL #1193: Scheduled
4m 44s master
master
4m 44s
Snapshot package publisher Snapshot package publisher #1142: completed by cprudhom
2m 28s
2m 28s
fix div propagators CodeQL #1192: Commit 732aeea pushed by cprudhom
6m 21s develop
develop
6m 21s
fix div propagators Java CI with Maven #1167: Commit 732aeea pushed by cprudhom
33m 16s develop
develop
33m 16s
fix div propagators Snapshot package publisher #1141: Commit 732aeea pushed by cprudhom
2m 41s develop
develop
2m 41s
CodeQL CodeQL #1191: Scheduled
6m 51s master
master
6m 51s
Snapshot package publisher Snapshot package publisher #1140: completed by jgFages
2m 26s
2m 26s
Snapshot package publisher Snapshot package publisher #1139: completed by jgFages
2m 37s
2m 37s
add table reformulation for POW + optimized tuples generation Java CI with Maven #1166: Pull request #1184 synchronize by jgFages
32m 3s JG/pow
JG/pow
32m 3s