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

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
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
Refining Cirrus CI configuration based on better understanding of what it's doing.
rptb1
committed

Commits on Feb 9, 2023

Commits on Feb 26, 2023

Drafting more of the requirements and design sections.
rptb1
committed

Commits on Mar 8, 2023

Commits on Mar 15, 2023

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

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