chore: remove GitLab CI config

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
hermit-os · Aug 28, 2023 · 893c8d3 · 893c8d3
1 parent 2656e9b
commit 893c8d3
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