Code

Adapt pipelines#37

Code

Closed

hannesm wants to merge 2 commits intoocurrent:mainocurrent/mirage-ci:mainfrom hannesm:adapt-pipelinesCopy head branch name to clipboard

+92-59

Commits

Commits on Jul 4, 2023

• adjust pipelines as discussed over and over:

  Show description for 3ab2522
  hannesm

  committed
  3ab2522

• document the workflows of our mirage 4 ci

  hannesm

  committed
  d4fc39d