Code

Run less on every PR#1431

Code

Merged

atomb merged 3 commits intomasterGaloisInc/saw-script:masterfrom at-simplify-buildGaloisInc/saw-script:at-simplify-buildCopy head branch name to clipboardAug 25, 2021

+3-7

Commits

Commits on Aug 25, 2021

• Run less on every PR

  Show description for 488a819
  

  Aaron Tomb

  committed
  488a819

  Copy full SHA for 488a819

• Remove exclusion of GHC 8.10 on macOS, Windows

  

  Aaron Tomb

  committed
  2b357fd

  Copy full SHA for 2b357fd

• Fix accidentally-removed macOS, Windows builds

  

  Aaron Tomb

  committed
  d2e5a9b

  Copy full SHA for d2e5a9b