Commit a232ed5f authored by Ralf Jung's avatar Ralf Jung
Browse files

update link to custom webhook

parent afe790e0
...@@ -153,7 +153,7 @@ You also need to enable the `coop-timing` runner for your project. Again this ...@@ -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. needs to be done by an admit.
Behind the scenes, the data is sent to our 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. on `coq-speed.mpi-sws.org` and locally stores the data in a PostgreSQL database.
[coq-speed]: https://coq-speed.mpi-sws.org/ [coq-speed]: https://coq-speed.mpi-sws.org/
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment