diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-02 09:49:42 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-02 09:49:42 +0200 |
| commit | 055d87ffb4f63d14bec7cba055e1c816b3715662 (patch) | |
| tree | 19bcc296ea6a160706eb6f1238a9f976b6b045a5 /.gitlab-ci.yml | |
| parent | 3eb8d3f6f154c7e87f634fcae224fe9fa39d52c6 (diff) | |
| download | compcert-kvx-055d87ffb4f63d14bec7cba055e1c816b3715662.tar.gz compcert-kvx-055d87ffb4f63d14bec7cba055e1c816b3715662.zip | |
test under coq 8.13.2
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b3bb418f..6da3a91d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -306,3 +306,26 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil rules: - if: '$CI_COMMIT_BRANCH == "master"' when: always + +build_aarch64_coq13: + stage: build + image: coqorg/coq:8.13.2-ocaml-4.11.1-flambda + before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user + - eval `opam config env` + - opam update + - opam install -y menhir + script: + - ./config_aarch64.sh + - make -j "$NJOBS" + rules: + - if: '$CI_COMMIT_BRANCH == "kvx-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always + - when: manual |