Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
ci
Commits
f524f574
Commit
f524f574
authored
Oct 27, 2021
by
Michael Sammler
Browse files
Merge branch 'master' of gitlab.mpi-sws.org:iris/ci
parents
1cde4edf
a232ed5f
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
f524f574
...
...
@@ -153,7 +153,7 @@ You also need to enable the `coop-timing` runner for your project. Again this
needs to be done by an admit.
Behind the scenes, the data is sent to our
[
custom webhook
](
https://gitlab.mpi-sws.org/
janno/gitlab-ci
-webhook
)
, which runs
[
custom webhook
](
https://gitlab.mpi-sws.org/
iris/ci-timing
-webhook
)
, which runs
on
`coq-speed.mpi-sws.org`
and locally stores the data in a PostgreSQL database.
[
coq-speed
]:
https://coq-speed.mpi-sws.org/
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment