From 3e70b437d4e7543be44665fc4b70575b1de5681a Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Sun, 15 Jan 2023 19:27:57 +0000 Subject: [PATCH] Can't link to things that don't exist yet. leaving a note. --- mps/design/tests.txt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/mps/design/tests.txt b/mps/design/tests.txt index 288313d2321..5342e3cd164 100644 --- a/mps/design/tests.txt +++ b/mps/design/tests.txt @@ -315,13 +315,17 @@ _`.ci.run.other.targets`: On some platforms we arrange to run the testansi, testpollnone, testratio, and testscheme targets. [Need to explain why, where, etc. RB 2023-01-15] -_`.ci.run.other.checks`: We also run various non-build checks using CI -to check: +_`.ci.run.other.checks`: We could also run various non-build checks +using CI to check: - document formatting - shell script syntax -[Links needed, at least. RB 2023-01-15] +[In the branch of writing, these do not yet exist. They are the +subject of `GitHub pull request #113 +`_ of +branch/2023-01-13/rst-check. When merged, they can be linked. RB +2023-01-15] _`.ci.when:`: CI is triggered on the `mps GitHub repo`_ by: