From 7846893140c8f7507cebea8a7785da2930a46ba9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 21 Jul 2025 21:27:59 -0700 Subject: [PATCH] Revert "[CI] Temporarily disactivate kami" This reverts commit 5d7b04dcd93dd1f4405f815fb41cf5e0d8816d29. Overlays had already been merged at the time this commit landed. --- .gitlab-ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 078c29dfec80..57e42a07ca7d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -635,7 +635,7 @@ library:ci-bbv: - build:base - library:ci-stdlib -.library:ci-bedrock2: +library:ci-bedrock2: extends: .ci-template-flambda variables: NJOBS: "1" @@ -648,7 +648,7 @@ library:ci-bbv: - library:ci-riscv_coq stage: build-3+ -.library:ci-bedrock2_examples: +library:ci-bedrock2_examples: extends: .ci-template-flambda variables: NJOBS: "1" @@ -754,7 +754,7 @@ library:ci-fcsl_pcm: - library:ci-mathcomp stage: build-2 -.library:ci-fiat_crypto: +library:ci-fiat_crypto: extends: .ci-template-flambda variables: COQEXTRAFLAGS: "-async-proofs-tac-j 0" @@ -784,7 +784,7 @@ library:ci-fiat_crypto_legacy: # We cannot use flambda due to # https://github.com/ocaml/ocaml/issues/7842, see # https://github.com/rocq-prover/rocq/pull/11916#issuecomment-609977375 -.library:ci-fiat_crypto_ocaml: +library:ci-fiat_crypto_ocaml: extends: .ci-template-flambda needs: - build:edge+flambda @@ -807,7 +807,7 @@ library:ci-flocq: - build:edge+flambda - library:ci-stdlib+flambda -.library:ci-kami: +library:ci-kami: extends: .ci-template-flambda needs: - build:edge+flambda @@ -1283,7 +1283,7 @@ library:ci-riscv_coq: - library:ci-coqutil stage: build-2 -.library:ci-rupicola: +library:ci-rupicola: extends: .ci-template-flambda needs: - build:edge+flambda