From 650cef08122d6052326c3bd67218b3b87ad893ff Mon Sep 17 00:00:00 2001 From: Pieter Donker <donker@astron.nl> Date: Wed, 22 Mar 2023 13:47:36 +0000 Subject: [PATCH] Update .gitlab-ci.yml file --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 59e531e613..e77dc05286 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -33,7 +33,7 @@ stages: lint-vhdl-libraries: tags: - hdl + - hdl stage: linting allow_failure: true before_script: -- GitLab