Skip to content

Actions: chocoteam/choco-solver

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
159 workflow runs
159 workflow runs

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
faster modulo CodeQL #1223: Pull request #1191 synchronize by jgFages
4m 54s JG/modulo
JG/modulo
4m 54s
faster modulo CodeQL #1222: Pull request #1191 synchronize by jgFages
6m 3s JG/modulo
JG/modulo
6m 3s
faster modulo CodeQL #1221: Pull request #1191 synchronize by jgFages
5m 1s JG/modulo
JG/modulo
5m 1s
faster modulo CodeQL #1220: Pull request #1191 synchronize by jgFages
4m 55s JG/modulo
JG/modulo
4m 55s
faster modulo CodeQL #1219: Pull request #1191 opened by jgFages
6m 56s JG/modulo
JG/modulo
6m 56s
CodeQL CodeQL #1218: Scheduled
4m 44s master
master
4m 44s
Prepare the code for the next version CodeQL #1217: Commit acb99eb pushed by cprudhom
5m 18s develop
develop
5m 18s
Merge branch 'release-5.0.1' CodeQL #1216: Commit a2d0e94 pushed by cprudhom
5m 2s master
master
5m 2s
Merge branch 'release-5.0.0' CodeQL #1215: Commit 39b49d0 pushed by cprudhom
5m 16s master
master
5m 16s
Merge branch 'release-5.0.1-SNAPSHOT' CodeQL #1214: Commit d5ace4c pushed by cprudhom
5m 30s master
master
5m 30s
License : set inception year to 1999 CodeQL #1213: Commit fb5c17b pushed by cprudhom
5m 3s develop
develop
5m 3s
fix decreasing constraint CodeQL #1212: Commit 46e7688 pushed by ArthurGodet
5m 21s develop
develop
5m 21s
fix decreasing constraint CodeQL #1211: Pull request #1190 opened by jgFages
4m 58s JG/decreasing
JG/decreasing
4m 58s
CodeQL CodeQL #1210: Scheduled
6m 13s master
master
6m 13s
Merge pull request #1188 from chocoteam/JG/preprocessing CodeQL #1209: Commit 539d7de pushed by jgFages
5m 49s develop
develop
5m 49s
add arithm preprocessing to detect trivial cases CodeQL #1208: Pull request #1188 synchronize by jgFages
5m 17s JG/preprocessing
JG/preprocessing
5m 17s
add arithm preprocessing to detect trivial cases CodeQL #1207: Pull request #1188 synchronize by jgFages
6m 34s JG/preprocessing
JG/preprocessing
6m 34s
add arithm preprocessing to detect trivial cases CodeQL #1206: Pull request #1188 synchronize by jgFages
6m 10s JG/preprocessing
JG/preprocessing
6m 10s
add arithm preprocessing to detect trivial cases CodeQL #1205: Pull request #1188 synchronize by jgFages
5m 0s JG/preprocessing
JG/preprocessing
5m 0s
add arithm preprocessing to detect trivial cases CodeQL #1204: Pull request #1188 opened by jgFages
4m 43s JG/preprocessing
JG/preprocessing
4m 43s
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 : move to BSD 3-clause CodeQL #1202: Pull request #1187 opened by cprudhom
7m 17s feat-lic-update
feat-lic-update
7m 17s
Table : add binary table now supports STR2+ CodeQL #1201: Commit 7335156 pushed by cprudhom
4m 59s develop
develop
4m 59s
Better compute the new length in ReasonManager + remove comments CodeQL #1200: Commit b653b59 pushed by cprudhom
6m 19s develop
develop
6m 19s
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