CI: remove opam job

jasmin-lang · May 22, 2024 · 332b061 · 332b061
1 parent ca952ce
commit 332b061
Showing 1 changed file with 0 additions and 26 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -96,32 +96,6 @@ eclib:
   - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run 'easycrypt     config -why3 eclib/why3.conf'
   - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run 'make ECARGS="-why3 why3.conf" -C eclib'
 
-opam:
-  stage: prove
-  variables:
-    OPAMROOTISOK: 'true'
-    OPAMROOT: mapo
-    PREFIX: jasmin-$CI_COMMIT_REF_NAME-$CI_COMMIT_SHORT_SHA
-    EXTRA_NIX_ARGUMENTS: --arg opamDeps true
-  extends: .common
-  cache:
-    key:
-      files:
-        - scripts/nixpkgs.nix
-      prefix: opam
-    paths:
-      - $OPAMROOT
-  script:
-  - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run 'scripts/opam-setup.sh ALL'
-  - >-
-    nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run
-    'eval $(opam env) &&
-     make -j$NIX_BUILD_CORES &&
-     make install'
-  artifacts:
-    paths:
-    - $PREFIX
-
 opam-compiler:
   stage: build
   variables: