Code

Cirrus CI and macOS on M1 CI#145

Code

Draft

rptb1 wants to merge 44 commits intomasterRavenbrook/mps:masterfrom branch/2023-02-06/cirrus-ciRavenbrook/mps:branch/2023-02-06/cirrus-ciCopy head branch name to clipboard

+3,172-2,393

Commits

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

• Attempt to specify architecture for FreeBSD. Attempt to find out why clang isn't available. Attempt to explicitly specify clang.

  rptb1

  committed
  7f54c34

• Suppress uninitialized warning on platforms where VMParamFromArgs does nothing. Discovered by GCC 12.2.0.

  rptb1

  committed
  0a21917

• Lifting compiler dimension out of scripts.

  rptb1

  committed
  17e500c

• Package names on Linux and FreeBSD aren't as orthogonal as I hoped.

  rptb1

  committed
  2c482a7

• Moving LIA6* and FRI6* to Cirrus CI from Travis CI where they won't consume credits.

  rptb1

  committed
  42a97e8

Commits on Feb 9, 2023

• Splitting design.mps.ci from design.mps.tests and noting items for inclusion.

  rptb1

  committed
  86e3275

• Lifting environment variables as a step to reducing repetition.

  rptb1

  committed
  6dadde6

• Environment variables didn't seem to work. Testing with documentation example.

  rptb1

  committed
  ddcb384

• Documentation example doesn't work as shown. Adding container.

  rptb1

  committed
  fd32ff3

• Lifting common script parts into templates to reduce repetition.

  rptb1

  committed
  81f9e9c

• Overriding clone script to try to apply CI to trial merge.

  rptb1

  committed
  8c6c2e3

• Removing "which" test command because it stops cloning on failure.

  rptb1

  committed
  7e1ecd3

• Second attempt at fetching the trial merge for pull requests.

  rptb1

  committed
  752859a

• Adding git to install to enable clone script override.

  rptb1

  committed
  0442b60

• Adding list of platforms built by which CI system, and cross-referencing to readme.txt and manual/build.txt.

  rptb1

  committed
  0da6884

• Updating design.mps.ci.service to be an overview of relevant facts about services.

  rptb1

  committed
  1e08497

• Reorganising existing text into new outline for design.mps.ci.

  rptb1

  committed
  a7d85d1

• Adding CI as an index term, and Confidentiality as a valid field for design documents.

  rptb1

  committed
  aa07e8d

• Fixing up tag references from CI configuration files. Misc minor consistency fixes.

  rptb1

  committed
  a76ce9c

• Better references to configuration files. Draft administration section.

  rptb1

  committed
  e92b175

• Fixing markup of definition list.

  rptb1

  committed
  a536e1a

Commits on Feb 10, 2023

• Adding reference to design.mps.ci.

  rptb1

  committed
  bef3b95

• Adding a FIXME to include Cirrus etc. in proc.merge.pull-request.

  rptb1

  committed
  7877339

• Drafting goals (design.mps.ci.goal) and requirements (design.mps.ci.req).

  rptb1

  committed
  8f278eb

• Adding a few notes on design.

  rptb1

  committed
  d203aff

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

• Clarifying some TODOs. Drafting administration section. Drafting design for check scripts. Linking GitHub check actions to design and vice-versa.

  rptb1

  committed
  e6c97d2

• Linking tags.

  rptb1

  committed
  f5f3d23

Commits on Mar 17, 2023

• Another pass of improvements including quantified requirememnts, clarification, linking to design.mps.tests, and more justification.

  rptb1

  committed
  32185ed