diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 386e294ce87417e97d18c33f641fb4a5ec583b14..f332ebc89fcfa4e89d422cc0bce2fc5a72f37a1e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,9 +1,13 @@ image: ralfjung/opam-ci:latest +stages: + - build + variables: CPU_CORES: "9" .template: &template + stage: build tags: - fp-timing script: