[ci] use as primary nix target something with a gen-opam-selection attribute

1f3ab979 · Virgile Prevosto · 010734ee · 1f3ab979
Commit 1f3ab979 authored 4 years ago by Virgile Prevosto
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,7 +30,7 @@ git-update:
 frama-c:
  stage: build
  script:
-   - nix/frama-ci.sh build -A frama-c.installed
+   - nix/frama-ci.sh build -A frama-c.main
  tags:
   - nix