Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSarah German <sgerman@gitlab.com>2023-07-27 19:32:57 +0300
committerSarah German <sgerman@gitlab.com>2023-07-27 19:32:57 +0300
commit06243c57e88320fbf7a2d6b33e521b187a495cce (patch)
tree8ac2cae081fe1527bf62d3264ed41d5e1d1f5fa6 /Makefile
parentdf024f9c8af07ae826997a8a7ed3945a59b696ba (diff)
Add devfile for workspaces
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a1748a12..800e3427 100644
--- a/Makefile
+++ b/Makefile
@@ -194,7 +194,7 @@ hadolint-tests:
yamllint-tests:
@printf "\n$(INFO)INFO: Running yamllint tests...$(END)\n"
- @yamllint .gitlab-ci.yml .gitpod.yml content/_data
+ @yamllint .gitlab-ci.yml .gitpod.yml .devfile.yaml content/_data
markdownlint-tests:
@printf "\n$(INFO)INFO: Running markdownlint tests...$(END)\n"