Code

updates from release 0.8 to master#1208

Code

Merged

pnwamk merged 17 commits intomasterGaloisInc/saw-script:masterfrom release-0.8-to-masterGaloisInc/saw-script:release-0.8-to-masterCopy head branch name to clipboardApr 22, 2021

+318-457

Commits

Commits on Apr 20, 2021

• CI updates for release

  Show description for 1bf96a3
  

  Lisanna Dettwyler

  committed
  1bf96a3

  Copy full SHA for 1bf96a3

• Don't show git hash for release builds

  

  Lisanna Dettwyler

  committed
  ffb85a7

  Copy full SHA for ffb85a7

• Allow int tests to fail on macos and windows

  

  Lisanna Dettwyler

  committed
  4b755d4

  Copy full SHA for 4b755d4

• Fix sed in CI

  

  Lisanna Dettwyler

  committed
  33dd5f0

  Copy full SHA for 33dd5f0

• Fix sed for macOS

  

  Lisanna Dettwyler

  committed
  5cbbb2f

  Copy full SHA for 5cbbb2f

• Cross-platform sed

  

  Lisanna Dettwyler

  committed
  0c46766

  Copy full SHA for 0c46766

• Merge remote-tracking branch 'origin/master' into release-0.8

  

  Lisanna Dettwyler

  committed
  33154fd

  Copy full SHA for 33154fd

• Fix release hash for container images

  

  Lisanna Dettwyler

  committed
  9dcc871

  Copy full SHA for 9dcc871

• Don't install YASM

  

  Lisanna Dettwyler

  committed
  484802a

  Copy full SHA for 484802a

• Merge branch 'master' into release-0.8

  

  Aaron Tomb

  committed
  d3ec64a

  Copy full SHA for d3ec64a

• Remove PyPI from the release notes until final

  

  Aaron Tomb

  committed
  6d54cbb

  Copy full SHA for 6d54cbb

• Bump version in Cabal file to 0.8

  

  Aaron Tomb

  committed
  dcf9eea

  Copy full SHA for dcf9eea

• Detect tag events better in CI

  

  Lisanna Dettwyler

  committed
  7d2071e

  Copy full SHA for 7d2071e

Commits on Apr 21, 2021

• Push container images on ref / cabal version match

  

  Lisanna Dettwyler

  committed
  abc03ea

  Copy full SHA for abc03ea

• Only run release actions when versions match

  

  Lisanna Dettwyler

  committed
  68e34cc

  Copy full SHA for 68e34cc

• chore(rpc): updates for PyPI saw-client release (#1205)

  Show description for 809a39c
  

  Andrew Kent

  and

  RyanGlScott

  authored
  809a39c

  Copy full SHA for 809a39c

• chore: bump saw-script version, depend on dev cryptol package

  

  Andrew Kent

  committed
  484819f

  Copy full SHA for 484819f