Code

Fixed solver versions#258

Code

Draft

kquick wants to merge 5 commits intomasterGaloisInc/macaw:masterfrom fixed_solver_versionsGaloisInc/macaw:fixed_solver_versionsCopy head branch name to clipboard

+44-11

Commits

Commits on Jan 12, 2022

• CI display errors on command lookups.

  kquick

  committed
  51f54f4

  Copy full SHA for 51f54f4

• CI solver downloads can be noisy so that errors are visible.

  kquick

  committed
  d8d7fc3

  Copy full SHA for d8d7fc3

• CI: Disable explicit solver installation; will use nix for solvers.

  kquick

  committed
  d2c47c5

  Copy full SHA for d2c47c5

• [CI] Install nix and configure cachix caching.

  kquick

  committed
  84d8b71

  Copy full SHA for 84d8b71

• [CI] fix cachix install-nix

  Show description for b890c65
  kquick

  committed
  b890c65

  Copy full SHA for b890c65