coccinelle:gitlab-ci

Last commit made on 2020-02-06
Get this branch:
git clone -b gitlab-ci https://git.launchpad.net/coccinelle

Branch merges

Branch information

Name:
gitlab-ci
Repository:
lp:coccinelle

Recent commits

fdd5019... by Thierry Martinez <email address hidden>

docker start should be interactive to redirect output

2ba903d... by Thierry Martinez <email address hidden>

Command should be executed with docker exec

a21d55b... by Thierry Martinez <email address hidden>

Remove previous container before creating one

0fcf714... by Thierry Martinez <email address hidden>

Command is carried by docker create

8f95be8... by Thierry Martinez <email address hidden>

YAML does not like command lines beginning with [

edc754b... by Thierry Martinez <email address hidden>

Preserve score files

deb9787... by Thierry Martinez <email address hidden>

String.trim is not available in OCaml <4.00.0

72e4c8c... by Thierry Martinez <email address hidden>

Lookup for constructors is not type-directed with OCaml <4.01

147279e... by Thierry Martinez <email address hidden>

Equality Stdcompat.Lexing.lexbuf = Lexing.lexbuf even for OCaml<4.02

2ba4bc5... by Thierry Martinez <email address hidden>

Use users for group since ci group is not created with OpenSUSE