Generalising instructions for obtaining CI results.

Ravenbrook · Nov 6, 2023 · dfec8bc · dfec8bc
1 parent d957641
commit dfec8bc
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/procedure/pull-request-merge.rst b/procedure/pull-request-merge.rst
@@ -166,10 +166,6 @@ When you finish the checklist, decide whether to start
 
 .. _pull request merge branch: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request
 
-.. _Travis CI build history for the repo: https://app.travis-ci.com/github/Ravenbrook/mps/builds
-
-.. _GitHub workflows for the repo: https://github.com/Ravenbrook/mps/actions
-
 .. _MPS interface: https://www.ravenbrook.com/project/mps/master/manual/html/topic/interface.html
 
 
@@ -286,9 +282,8 @@ working repo before that point.
 
      git push github HEAD:merge/2023-01-06/speed-hax
 
-   You will need to wait for results from CI.  Look for a build
-   results in the `Travis CI build history for the repo`_ and in the
-   `GitHub workflows for the repo`_.
+   You will need to wait for `results from CI
+   <../design/tests.txt#continuous-integration>`_.
 
    See build (step 4) about what to do if tests do not pass.