Changes
Page history
Update Continuous Integration
authored
Apr 27, 2022
by
Haffner Immanuel
Show whitespace changes
Inline
Side-by-side
Continuous-Integration.md
View page @
de5fa04a
...
@@ -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
]
...
...
...
...