Cirrus CI and macOS on M1 CI - #145

Draft

rptb1 wants to merge 44 commits into

branch/2023-02-06/cirrus-ci

Commits on Feb 6, 2023

Adding a Cirrus CI configuration to get things started.
rptb1
committed
f5f0835
Testing Cirrus CI configurations for FRI6LL and LIA6*.
rptb1
committed
f60017c
Persuade Cirrus CI to reveal details about the platforms.
rptb1
committed
279ce81

Commits on Feb 7, 2023

Match arm64 for XCA6LL since that's what's produced by Cirrus CI VMs <https://github.com/Ravenbrook/mps/runs/11158914093>.
rptb1
committed
1fb620c
Match "arm" for XCA6LL since that's what's produced by autoconf scripts on Cirrus CI VMs <https://github.com/Ravenbrook/mps/pull/145/checks?check_run_id=11159253961>.
rptb1
committed
6379e6e
Refining Cirrus CI configuration based on better understanding of what it's doing.
rptb1
committed
2f359b4

Commits on Feb 8, 2023

Commits on Feb 9, 2023

Commits on Feb 10, 2023

Commits on Feb 26, 2023

Drafting more of the requirements and design sections.
rptb1
committed
bdfccc0

Commits on Mar 8, 2023

Completing CI requirements, although in some cases with notes.
rptb1
committed
549d329
Using RFC 2119 key words.
rptb1
committed
717d55d
Defining CI platform requirements.
rptb1
committed
fc54e1a
Cleaning up the Services section and linking to requirements.
rptb1
committed
b7c229e
Removing TODO notes that are done.
rptb1
committed
e595d8c
Catch-up merge master into branch/2023-02-06/cirrus-ci
rptb1
committed
316b2e0
Removing references to Travis CI from proc.merge.pull-request and incorporating statements about Travis CI into general design.
rptb1
committed
79a814d
Promoting some comments to TODOs and attempting to resolve others.
rptb1
committed
8b6ae56

Commits on Mar 15, 2023

Correcting tag "design.mps.ci" to "design.ci" because CI is not *part* of the MPS.
rptb1
committed
6cba37c

Commits on Mar 16, 2023

Commits on Mar 17, 2023

Another pass of improvements including quantified requirememnts, clarification, linking to design.mps.tests, and more justification.
rptb1
committed
32185ed