Code

Run s2n tests in GitHub Actions#823

Code

Merged

hazelweakly merged 31 commits intomasterGaloisInc/saw-script:masterfrom s2n-docker-composeGaloisInc/saw-script:s2n-docker-composeCopy head branch name to clipboardAug 27, 2020

+184-12

Commits

Commits on Aug 20, 2020

• Add dockerfiles and buildscripts for testing s2n

  

  Jared Weakly

  committed
  1040950

  Copy full SHA for 1040950

Commits on Aug 24, 2020

• Add Docker Compose configuration for running S2N tests

  chameco

  committed
  f0e5015

  Copy full SHA for f0e5015

• Test BIKE in GitHub Actions workflow

  chameco

  committed
  fb05a62

  Copy full SHA for fb05a62

• Fix typo

  chameco

  committed
  66ae61c

  Copy full SHA for 66ae61c

• Use Actions-built saw rather than rebuilding in container

  chameco

  committed
  19cfb53

  Copy full SHA for 19cfb53

• Ensure s2nTests/bin exists

  chameco

  committed
  9b4300a

  Copy full SHA for 9b4300a

• Change s2n.dockerfile base to match GitHub Actions environment

  chameco

  committed
  5d2eb2f

  Copy full SHA for 5d2eb2f

• Use docker-compose run instead of up to fix exit status

  chameco

  committed
  d9f3ea2

  Copy full SHA for d9f3ea2

• Only run s2n tests on Ubuntu

  chameco

  committed
  ee10699

  Copy full SHA for ee10699

• Fix build.yml

  chameco

  committed
  7849013

  Copy full SHA for 7849013

• Run s2n tests in parallel

  chameco

  committed
  246296d

  Copy full SHA for 246296d

• Download the correct SAW artifact

  chameco

  committed
  edd65e2

  Copy full SHA for edd65e2

• Fix s2n test matrix

  chameco

  committed
  9ec3a32

  Copy full SHA for 9ec3a32

• Temporarily disable macos-latest GHC 8.8.3

  chameco

  committed
  8aecb5e

  Copy full SHA for 8aecb5e

• Use the correct artifact name

  chameco

  committed
  a55a6cb

  Copy full SHA for a55a6cb

• Simplify matrix a bit

  chameco

  committed
  8341893

  Copy full SHA for 8341893

• Simplify matrix a bit more

  chameco

  committed
  71c37c5

  Copy full SHA for 71c37c5

• Checkout repo during s2n tests

  chameco

  committed
  4ade32c

  Copy full SHA for 4ade32c

• Download artifact to the correct directory

  chameco

  committed
  6772cbb

  Copy full SHA for 6772cbb

• Ensure saw is executable

  chameco

  committed
  2d17370

  Copy full SHA for 2d17370

Commits on Aug 25, 2020

• Trim s2n.dockerfile

  chameco

  committed
  97c82e6

  Copy full SHA for 97c82e6

• Cleanup moved files

  chameco

  committed
  daa28f6

  Copy full SHA for daa28f6

• Build and run on MacOS in a separate job

  chameco

  committed
  30b9c87

  Copy full SHA for 30b9c87

• Fix typo in build.yml

  chameco

  committed
  e5ae602

  Copy full SHA for e5ae602

• Upload artifact from dist/bin instead of unnecessary copy

  chameco

  committed
  8107c3b

  Copy full SHA for 8107c3b

• Merge branch 'master' into s2n-docker-compose

  chameco

  authored
  b71ad6a

  Copy full SHA for b71ad6a

Commits on Aug 26, 2020

• Move target selection from buildtime to runtime

  chameco

  committed
  69cc3cd

  Copy full SHA for 69cc3cd

• Add Makefile for s2nTests, use this Makefile in build.yml

  chameco

  committed
  da9537b

  Copy full SHA for da9537b

Commits on Aug 27, 2020

• Merge branch 'master' into s2n-docker-compose

  chameco

  authored
  12bd112

  Copy full SHA for 12bd112

• Try running s2n tests on multiple GHC versions

  chameco

  committed
  b187f2b

  Copy full SHA for b187f2b

• Further trim list of dependencies

  chameco

  committed
  3f665cd

  Copy full SHA for 3f665cd