Update Continuous Integration authored by Haffner Immanuel's avatar Haffner Immanuel
...@@ -2,9 +2,9 @@ ...@@ -2,9 +2,9 @@
```toml ```toml
[[runners]] [[runners]]
name = "Tinyrig" name = "<NAME>"
url = "https://gitlab.cs.uni-saarland.de/" url = "https://gitlab.cs.uni-saarland.de/"
token = "RH3vinhgE2zF18Y9Uy6D" token = "<TOKEN>"
executor = "shell" executor = "shell"
environment = ["PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/opt/depot_tools:/opt/google-cloud-sdk/bin", "DEPOT_TOOLS_UPDATE=0"] environment = ["PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/opt/depot_tools:/opt/google-cloud-sdk/bin", "DEPOT_TOOLS_UPDATE=0"]
[runners.custom_build_dir] [runners.custom_build_dir]
... ...
......