Commit 333d9de
committed
Remove GitLab CI configuration
With the addition of the GitHub Actions workflow we have found a better
working replacement for the GitLab CI. To that end, we no longer want to
use the latter.
This change removes the corresponding configuration from the repository.1 parent b4212fd commit 333d9de
2 files changed
+1
-37
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
| 11 | + | |
11 | 12 | | |
12 | 13 | | |
13 | 14 | | |
| |||
This file was deleted.
0 commit comments