Skip to content

Actions: Ravenbrook/mps

Actions

shell script check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shell-script-check.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapting Ravenbrook and MM group review procedure to public MPS shell script check #440: Pull request #123 synchronize by rptb1
November 13, 2024 13:17 16s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 13, 2024 13:17 16s
Adding justification for rule.code.minimal based on Hyrum's Law. shell script check #439: Commit ce06e09 pushed by rptb1
November 13, 2024 13:17 16s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 13, 2024 13:17 16s
Make stack context saving macros equivalent to NOP, and remove the AV… shell script check #438: Commit 1034444 pushed by thejayps
November 9, 2024 22:47 13s branch/2024-11-09/perf-patch-sc
branch/2024-11-09/perf-patch-sc
November 9, 2024 22:47 13s
Change generation accounting to match behaviour of the MPS before the… shell script check #437: Commit d71e84d pushed by thejayps
November 9, 2024 21:24 19s branch/2024-11-09/perf-patch-job004007
branch/2024-11-09/perf-patch-job004007
November 9, 2024 21:24 19s
ci: Update actions/checkout to v4 from v3. shell script check #434: Pull request #284 opened by waywardmonkeys
February 29, 2024 16:20 14s waywardmonkeys:update-ci-checkout-action
waywardmonkeys:update-ci-checkout-action
February 29, 2024 16:20 14s
Update config.guess to the version from autoconf 2.72 shell script check #433: Pull request #283 opened by waywardmonkeys
February 29, 2024 16:05 17s waywardmonkeys:update-config.guess
waywardmonkeys:update-config.guess
February 29, 2024 16:05 17s
Fix typos. shell script check #432: Pull request #282 opened by waywardmonkeys
February 29, 2024 15:49 23s waywardmonkeys:fix-typos
waywardmonkeys:fix-typos
February 29, 2024 15:49 23s
Avoid using sizeof('\0') to compute size for NUL-terminator. shell script check #431: Pull request #277 opened by fstromback
December 19, 2023 09:25 18s fstromback:no-sizeof-char
fstromback:no-sizeof-char
December 19, 2023 09:25 18s
Adapting Ravenbrook and MM group review procedure to public MPS shell script check #430: Pull request #123 synchronize by rptb1
November 9, 2023 13:40 16s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 16s
Working with JPH to remove comments and prepare proc.review for review. shell script check #429: Commit 0ee19ff pushed by rptb1
November 9, 2023 13:40 21s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 21s
Catch-up merge from master into branch/2023-01-19/review-procedure shell script check #428: Commit 654c24c pushed by rptb1
November 9, 2023 12:06 18s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 18s
Adapting Ravenbrook and MM group review procedure to public MPS shell script check #427: Pull request #123 synchronize by rptb1
November 9, 2023 12:06 19s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 19s
Automatically checking copyright dates in copyright notices shell script check #426: Pull request #231 synchronize by rptb1
November 9, 2023 12:01 17s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 17s
Updating FIXME to a longer term TODO about non-Ravenbrook copyrights. shell script check #425: Commit 6864379 pushed by rptb1
November 9, 2023 12:01 20s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 20s
Updating the merge procedure to removing synchronisation with Perforce repository shell script check #424: Pull request #228 synchronize by rptb1
November 6, 2023 13:51 21s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 21s
Generalising instructions for obtaining CI results. shell script check #423: Commit dfec8bc pushed by rptb1
November 6, 2023 13:51 16s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 16s
implement exp-strategy-3 manually cherry picking from branch exp-stra… shell script check #422: Commit bd46aec pushed by thejayps
October 31, 2023 13:15 18s branch/2023-10-22/exp-strategy-3
branch/2023-10-22/exp-strategy-3
October 31, 2023 13:15 18s
Merging branch/2023-02-22/manual-rtd-theme for GitHub pull request #1… shell script check #421: Commit e2f9497 pushed by rptb1
October 23, 2023 09:13 19s master
master
October 23, 2023 09:13 19s
Experimenting with rendering the manual to PDF using rinohtype shell script check #420: Pull request #270 opened by rptb1
October 22, 2023 10:13 19s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 10:13 19s
Adding experimental PDF build of manual using rinohtype <https://gith… shell script check #419: Commit 2a72a2f pushed by rptb1
October 22, 2023 09:57 19s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 09:57 19s
Switch the MPS manual to using the Read the Docs theme shell script check #418: Pull request #166 synchronize by rptb1
October 21, 2023 08:57 19s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 19s
Breaking up the glossary index with punctuation and spaces, in respon… shell script check #417: Commit ebeee66 pushed by rptb1
October 21, 2023 08:57 26s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 26s
Switch the MPS manual to using the Read the Docs theme shell script check #416: Pull request #166 synchronize by rptb1
October 20, 2023 13:25 26s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 26s
Adding references to issues behind design choice of sphinx_rtd_theme,… shell script check #415: Commit 421cad4 pushed by rptb1
October 20, 2023 13:25 28s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 28s
Switch the MPS manual to using the Read the Docs theme shell script check #414: Pull request #166 synchronize by rptb1
October 11, 2023 11:11 22s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 11, 2023 11:11 22s