Merge pull request #861 from mkroening/remove-gitlab-config

chore: remove GitLab CI config
hermit-os · Aug 28, 2023 · 19a0d52 · 19a0d52
2 parents 2656e9b + 893c8d3
commit 19a0d52
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 174 deletions.
diff --git a/.dockerignore b/.dockerignore
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
diff --git a/Cargo.toml b/Cargo.toml
@@ -23,8 +23,6 @@ description = "A Rust-based library operating system"
 exclude = [
 	"/.github/*",
 	"/.vscode/*",
-	"/.gitlab-ci.yml",
-	"/Dockerfile",
 	"/img/*",
 	".gitattributes",
 	".gitignore",

diff --git a/Dockerfile b/Dockerfile