Code

More CI work#3

Code

Draft

woodruffw wants to merge 8 commits intomainGaloisInc/MATE:mainfrom ww/more-ciGaloisInc/MATE:ww/more-ciCopy head branch name to clipboard

+60-40

Commits

Commits on Aug 12, 2022

• ci: make the docker script a bit more resilient

  Show description for 5e9b9f1
  woodruffw

  committed
  5e9b9f1

• ci: remove more old files

  Show description for 4967e8e
  woodruffw

  committed
  4967e8e

Commits on Aug 13, 2022

• workflows/build: upload the bdist

  Show description for 49e7603
  woodruffw

  committed
  49e7603

Commits on Aug 15, 2022

• build, ci: try enabling the legacy tests

  Show description for 00c2ec2
  woodruffw

  committed
  00c2ec2

• workflows/build: fix docker login

  Show description for a097ef6
  woodruffw

  committed
  a097ef6

• workflows/build: tweak

  Show description for 87c2eb1
  woodruffw

  committed
  87c2eb1

• workflows/build: fix clone

  Show description for 8f8ac76
  woodruffw

  committed
  8f8ac76

Commits on Sep 1, 2022

• Merge branch 'main' into ww/more-ci

  woodruffw

  authored
  7836174