From 9ac5efdc0cdd63dff16a677927d79979003f8c60 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 3 Oct 2024 17:55:59 +0200
Subject: [PATCH] [ci] Remove DEFAULT after merge in Frama-CI
---
.gitlab-ci.yml | 2 --
1 file changed, 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3754748..cde597d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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
--
GitLab