Skip to content

Actions: Ravenbrook/mps

Actions

build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make stack context saving macros equivalent to NOP, and remove the AV… build and test #585: Commit 1034444 pushed by thejayps
November 9, 2024 22:47 4m 36s branch/2024-11-09/perf-patch-sc
branch/2024-11-09/perf-patch-sc
November 9, 2024 22:47 4m 36s
Change generation accounting to match behaviour of the MPS before the… build and test #584: Commit d71e84d pushed by thejayps
November 9, 2024 21:24 1m 47s branch/2024-11-09/perf-patch-job004007
branch/2024-11-09/perf-patch-job004007
November 9, 2024 21:24 1m 47s
ci: Update actions/checkout to v4 from v3. build and test #581: Pull request #284 opened by waywardmonkeys
February 29, 2024 16:20 12m 0s waywardmonkeys:update-ci-checkout-action
waywardmonkeys:update-ci-checkout-action
February 29, 2024 16:20 12m 0s
Update config.guess to the version from autoconf 2.72 build and test #580: Pull request #283 opened by waywardmonkeys
February 29, 2024 16:05 11m 50s waywardmonkeys:update-config.guess
waywardmonkeys:update-config.guess
February 29, 2024 16:05 11m 50s
Fix typos. build and test #579: Pull request #282 opened by waywardmonkeys
February 29, 2024 15:49 11m 41s waywardmonkeys:fix-typos
waywardmonkeys:fix-typos
February 29, 2024 15:49 11m 41s
Avoid using sizeof('\0') to compute size for NUL-terminator. build and test #578: Pull request #277 opened by fstromback
December 19, 2023 09:25 11m 59s fstromback:no-sizeof-char
fstromback:no-sizeof-char
December 19, 2023 09:25 11m 59s
Adapting Ravenbrook and MM group review procedure to public MPS build and test #577: Pull request #123 synchronize by rptb1
November 9, 2023 13:40 11m 36s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 11m 36s
Working with JPH to remove comments and prepare proc.review for review. build and test #576: Commit 0ee19ff pushed by rptb1
November 9, 2023 13:40 12m 34s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 13:40 12m 34s
Catch-up merge from master into branch/2023-01-19/review-procedure build and test #575: Commit 654c24c pushed by rptb1
November 9, 2023 12:06 16m 28s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 16m 28s
Adapting Ravenbrook and MM group review procedure to public MPS build and test #574: Pull request #123 synchronize by rptb1
November 9, 2023 12:06 17m 17s branch/2023-01-19/review-procedure
branch/2023-01-19/review-procedure
November 9, 2023 12:06 17m 17s
Automatically checking copyright dates in copyright notices build and test #573: Pull request #231 synchronize by rptb1
November 9, 2023 12:01 13m 3s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 13m 3s
Updating FIXME to a longer term TODO about non-Ravenbrook copyrights. build and test #572: Commit 6864379 pushed by rptb1
November 9, 2023 12:01 13m 15s branch/2023-03-23/check-copyright-dates
branch/2023-03-23/check-copyright-dates
November 9, 2023 12:01 13m 15s
Updating the merge procedure to removing synchronisation with Perforce repository build and test #571: Pull request #228 synchronize by rptb1
November 6, 2023 13:51 19m 3s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 19m 3s
Generalising instructions for obtaining CI results. build and test #570: Commit dfec8bc pushed by rptb1
November 6, 2023 13:51 14m 40s branch/2023-05-30/perforce-divorce
branch/2023-05-30/perforce-divorce
November 6, 2023 13:51 14m 40s
implement exp-strategy-3 manually cherry picking from branch exp-stra… build and test #569: Commit bd46aec pushed by thejayps
October 31, 2023 13:15 5m 43s branch/2023-10-22/exp-strategy-3
branch/2023-10-22/exp-strategy-3
October 31, 2023 13:15 5m 43s
Merging branch/2023-02-22/manual-rtd-theme for GitHub pull request #1… build and test #568: Commit e2f9497 pushed by rptb1
October 23, 2023 09:13 14m 5s master
master
October 23, 2023 09:13 14m 5s
Experimenting with rendering the manual to PDF using rinohtype build and test #567: Pull request #270 opened by rptb1
October 22, 2023 10:13 15m 36s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 10:13 15m 36s
Adding experimental PDF build of manual using rinohtype <https://gith… build and test #566: Commit 2a72a2f pushed by rptb1
October 22, 2023 09:57 14m 57s branch/2023-10-22/rinohtype-pdf-manual
branch/2023-10-22/rinohtype-pdf-manual
October 22, 2023 09:57 14m 57s
Switch the MPS manual to using the Read the Docs theme build and test #565: Pull request #166 synchronize by rptb1
October 21, 2023 08:57 13m 34s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 13m 34s
Breaking up the glossary index with punctuation and spaces, in respon… build and test #564: Commit ebeee66 pushed by rptb1
October 21, 2023 08:57 16m 5s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 21, 2023 08:57 16m 5s
Switch the MPS manual to using the Read the Docs theme build and test #563: Pull request #166 synchronize by rptb1
October 20, 2023 13:25 14m 50s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 14m 50s
Adding references to issues behind design choice of sphinx_rtd_theme,… build and test #562: Commit 421cad4 pushed by rptb1
October 20, 2023 13:25 16m 59s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 20, 2023 13:25 16m 59s
Switch the MPS manual to using the Read the Docs theme build and test #561: Pull request #166 synchronize by rptb1
October 11, 2023 11:11 21m 14s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 11, 2023 11:11 21m 14s
Catch-up merge of master into branch/2023-02-22/manual-rtd-theme build and test #560: Commit 1c857ba pushed by rptb1
October 11, 2023 11:11 12m 56s branch/2023-02-22/manual-rtd-theme
branch/2023-02-22/manual-rtd-theme
October 11, 2023 11:11 12m 56s