Skip to content

Actions: Ravenbrook/mps

Actions

reStructuredText syntax check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rst-check.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Update actions/checkout to v4 from v3. reStructuredText syntax check #358: Pull request #284 opened by waywardmonkeys
February 29, 2024 16:20 41s waywardmonkeys:update-ci-checkout-action
waywardmonkeys:update-ci-checkout-action
February 29, 2024 16:20 41s
Update config.guess to the version from autoconf 2.72 reStructuredText syntax check #357: Pull request #283 opened by waywardmonkeys
February 29, 2024 16:05 31s waywardmonkeys:update-config.guess
waywardmonkeys:update-config.guess
February 29, 2024 16:05 31s
Fix typos. reStructuredText syntax check #356: Pull request #282 opened by waywardmonkeys
February 29, 2024 15:49 30s waywardmonkeys:fix-typos
waywardmonkeys:fix-typos
February 29, 2024 15:49 30s
Avoid using sizeof('\0') to compute size for NUL-terminator. reStructuredText syntax check #355: Pull request #277 opened by fstromback
December 19, 2023 09:25 31s fstromback:no-sizeof-char
fstromback:no-sizeof-char
December 19, 2023 09:25 31s
Adapting Ravenbrook and MM group review procedure to public MPS reStructuredText syntax check #354: Pull request #123 synchronize by rptb1
November 9, 2023 13:40 48s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 48s
Working with JPH to remove comments and prepare proc.review for review. reStructuredText syntax check #353: Commit 0ee19ff pushed by rptb1
November 9, 2023 13:40 31s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 31s
Catch-up merge from master into branch/2023-01-19/review-procedure reStructuredText syntax check #352: Commit 654c24c pushed by rptb1
November 9, 2023 12:06 56s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 56s
Adapting Ravenbrook and MM group review procedure to public MPS reStructuredText syntax check #351: Pull request #123 synchronize by rptb1
November 9, 2023 12:06 36s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 36s
Automatically checking copyright dates in copyright notices reStructuredText syntax check #350: Pull request #231 synchronize by rptb1
November 9, 2023 12:01 44s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 44s
Updating FIXME to a longer term TODO about non-Ravenbrook copyrights. reStructuredText syntax check #349: Commit 6864379 pushed by rptb1
November 9, 2023 12:01 55s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 55s
Updating the merge procedure to removing synchronisation with Perforce repository reStructuredText syntax check #348: Pull request #228 synchronize by rptb1
November 6, 2023 13:51 54s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 54s
Generalising instructions for obtaining CI results. reStructuredText syntax check #347: Commit dfec8bc pushed by rptb1
November 6, 2023 13:51 34s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 34s
implement exp-strategy-3 manually cherry picking from branch exp-stra… reStructuredText syntax check #346: Commit bd46aec pushed by thejayps
October 31, 2023 13:15 45s branch/2023-10-22/exp-strategy-3
branch/2023-10-22/exp-strategy-3
October 31, 2023 13:15 45s
Merging branch/2023-02-22/manual-rtd-theme for GitHub pull request #1… reStructuredText syntax check #345: Commit e2f9497 pushed by rptb1
October 23, 2023 09:13 42s master
master
October 23, 2023 09:13 42s
Experimenting with rendering the manual to PDF using rinohtype reStructuredText syntax check #344: Pull request #270 opened by rptb1
October 22, 2023 10:13 38s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 10:13 38s
Adding experimental PDF build of manual using rinohtype <https://gith… reStructuredText syntax check #343: Commit 2a72a2f pushed by rptb1
October 22, 2023 09:57 43s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 09:57 43s
Switch the MPS manual to using the Read the Docs theme reStructuredText syntax check #342: Pull request #166 synchronize by rptb1
October 21, 2023 08:57 37s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 37s
Breaking up the glossary index with punctuation and spaces, in respon… reStructuredText syntax check #341: Commit ebeee66 pushed by rptb1
October 21, 2023 08:57 38s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 38s
Switch the MPS manual to using the Read the Docs theme reStructuredText syntax check #340: Pull request #166 synchronize by rptb1
October 20, 2023 13:25 45s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 45s
Adding references to issues behind design choice of sphinx_rtd_theme,… reStructuredText syntax check #339: Commit 421cad4 pushed by rptb1
October 20, 2023 13:25 43s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 43s
Switch the MPS manual to using the Read the Docs theme reStructuredText syntax check #338: Pull request #166 synchronize by rptb1
October 11, 2023 11:11 38s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 11, 2023 11:11 38s
Catch-up merge of master into branch/2023-02-22/manual-rtd-theme reStructuredText syntax check #337: Commit 1c857ba pushed by rptb1
October 11, 2023 11:11 43s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 11, 2023 11:11 43s
Resolve warnings when compiling with GCC 12 and GCC 13.1 reStructuredText syntax check #336: Pull request #257 synchronize by rptb1
July 25, 2023 07:10 43s branch/2023-07-23/gcc-12-warnings
branch/2023-07-23/gcc-12-warnings
July 25, 2023 07:10 43s
Restricting GCC-specific pragmas to build.gc to avoid warnings on bui… reStructuredText syntax check #335: Commit 6d4ac64 pushed by rptb1
July 25, 2023 07:10 57s branch/2023-07-23/gcc-12-warnings
branch/2023-07-23/gcc-12-warnings
July 25, 2023 07:10 57s
Resolve warnings when compiling with GCC 12 and GCC 13.1 reStructuredText syntax check #334: Pull request #257 synchronize by rptb1
July 25, 2023 07:03 34s branch/2023-07-23/gcc-12-warnings
branch/2023-07-23/gcc-12-warnings
July 25, 2023 07:03 34s