Code

CI cleanup#1477

Code

Merged

mergify[bot] merged 4 commits intomasterGaloisInc/saw-script:masterfrom at-ci-cleanupGaloisInc/saw-script:at-ci-cleanupCopy head branch name to clipboardOct 20, 2021

+54-45

Commits

Commits on Oct 12, 2021

• Add clarifying comments suggested by @kquick

  

  Aaron Tomb

  committed
  35ce9bf

  Copy full SHA for 35ce9bf

• Better shell practices when testing under Docker

  Show description for de5445a
  

  Aaron Tomb

  committed
  de5445a

  Copy full SHA for de5445a

Commits on Oct 19, 2021

• Merge branch 'master' into at-ci-cleanup

  mergify[bot]

  authored
  1ee5892

  Copy full SHA for 1ee5892

• Merge branch 'master' into at-ci-cleanup

  mergify[bot]

  authored
  ea7185b

  Copy full SHA for ea7185b