CI: poc Circleci configuration
CI: poc Circleci configuration

Revert "CI: poc Circleci configuration"

Committed on master by mistake. Clearly I'm too clumsy to be trusted
with push rights.

This reverts commit d606a85d53fbd0227b15e18701e2ac4c9d911f34.

CI: poc Circleci configuration

Fixup

Try minimising build for faster testing

Various fixes

Fixup: yaml identation

Do not -j2: native compiler seems to take too much memory

Revert "Do not -j2: native compiler seems to take too much memory"

This reverts commit 4886151288a8d895c0fd23f9bded0970c59e1372.

Deactivate native compiler

Fixup (how did this happen?)

Do not call time (not install on docker images, will fix later)

Fixup

Fixup

maximedenes/coq,coq/coq,ejgallego/coq,JasonGross/coq,maximedenes/coq,gares/coq,maximedenes/coq,Zimmi48/coq,letouzey/coq-wip,letouzey/coq-wip,Zimmi48/coq,ppedrot/coq,gares/coq,maximedenes/coq,ejgallego/coq,gares/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,Matafou/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,JasonGross/coq,silene/coq,coq/coq,letouzey/coq-wip,SkySkimmer/coq,gares/coq,silene/coq,ppedrot/coq,maximedenes/coq,ppedrot/coq,gares/coq,Zimmi48/coq,ppedrot/coq,ppedrot/coq,JasonGross/coq,Matafou/coq,silene/coq,ejgallego/coq,ejgallego/coq,Matafou/coq,JasonGross/coq,letouzey/coq-wip,letouzey/coq-wip