Code

Add argo submodule and build#853

Code

Merged

atomb merged 34 commits intomasterGaloisInc/saw-script:masterfrom at-add-argoGaloisInc/saw-script:at-add-argoCopy head branch name to clipboardOct 13, 2020

+3,451-12

Commits

Commits on Sep 14, 2020

• Add argo submodule and build

  

  Aaron Tomb

  committed
  7d75499

Commits on Oct 7, 2020

• Merge remote-tracking branch 'origin/master' into at-add-argo

  

  Aaron Tomb

  committed
  decf5bf

• Add saw-remote-api

  Show description for 0ed225c
  

  Aaron Tomb

  committed
  0ed225c

• Get saw-remote-api building and testing

  

  Aaron Tomb

  committed
  9f63fd8

• Run saw-remote-api tests in CI

  

  Aaron Tomb

  committed
  9d669e0

• Fix random version freeze to work with uuid

  

  Aaron Tomb

  committed
  5e598fa

• Separate saw-remote-api tests from intTests

  

  Aaron Tomb

  committed
  2d2566c

• Package saw-remote-api

  

  Aaron Tomb

  committed
  a002349

• Revert "Fix random version freeze to work with uuid"

  Show description for 4fb0a78
  

  Aaron Tomb

  committed
  4fb0a78

• Use allow-newer instead of old random version

  

  Aaron Tomb

  committed
  3ea184c

• Add proper PR from saw-core dependency

  

  Aaron Tomb

  committed
  4b93e54

• Use correct allow-newer syntax

  

  Aaron Tomb

  committed
  42dce52

• Another pass at cabal.project.local setup

  

  Aaron Tomb

  committed
  0a777d0

• Yet again with cabal.project.local

  

  Aaron Tomb

  committed
  273e126

Commits on Oct 8, 2020

• Bump argo submodule

  

  Aaron Tomb

  committed
  2ad0dcd

• Bump argo submodule

  

  Aaron Tomb

  committed
  9ff9532

Commits on Oct 9, 2020

• Bump argo submodule

  

  Aaron Tomb

  committed
  9cffe35

• Bump argo submodule

  

  Aaron Tomb

  committed
  f78c50a

• Change how saw-remote-api tests find server

  

  Aaron Tomb

  committed
  463cc84

• Pass server binary path to saw-remote-api tests

  

  Aaron Tomb

  committed
  d372902

• Fix workflow syntax

  

  Aaron Tomb

  committed
  6e5050c

• Build saw-remote-api initially

  

  Aaron Tomb

  committed
  77ec6d4

• Make executable discovery more robust

  

  Aaron Tomb

  committed
  3ac67e4

• Add previously-missing Python file

  

  Aaron Tomb

  committed
  8804f0f

• Debug messages to help diagnose CI failures

  

  Aaron Tomb

  committed
  db062da

• Try different path syntax

  

  Aaron Tomb

  committed
  3a8ddef

• Temporary absolute path to test CI

  

  Aaron Tomb

  committed
  b958ff4

• Another attempt at GitHub CI working directory

  

  Aaron Tomb

  committed
  a90a9e9

Commits on Oct 12, 2020

• Allow saw-remote-api tests to continue on error

  

  Aaron Tomb

  committed
  006bc59

• Don't disable jss build

  Show description for 4523436
  

  Aaron Tomb

  committed
  4523436

• Merge remote-tracking branch 'origin/master' into at-add-argo

  

  Aaron Tomb

  committed
  3c5a9dd

• Update submodules

  

  Aaron Tomb

  committed
  ba0f661

Commits on Oct 13, 2020

• Use find instead of cabal v2-exec

  

  Aaron Tomb

  committed
  1953136

• Merge remote-tracking branch 'origin/master' into at-add-argo

  

  Aaron Tomb

  committed
  a5816e1