Skip to content
Snippets Groups Projects
Commit 5c46fd3e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'plugin-release-script' into 'master'

[ci] Remove DEFAULT after merge in Frama-CI

See merge request frama-c/meta!109
parents de75d83a 9ac5efdc
No related merge requests found
......@@ -73,7 +73,6 @@ lint:
stage: compatibility
variables:
CI_MODE: "check-opam"
DEFAULT: "plugin-release-script"
script:
- ./nix/ci.sh
......@@ -103,7 +102,6 @@ release:
PLUGIN_FULL_NAME: "MetAcsl"
REPO: "meta"
RELEASE_OPT: "--assume-yes"
DEFAULT: "plugin-release-script"
script:
- ls -la
- ./nix/ci.sh
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment