Code

Set -Werror in the Nix build only#1915

Code

Merged

michaelpj merged 3 commits intomasterIntersectMBO/plutus:masterfrom imp/werrorIntersectMBO/plutus:imp/werrorCopy head branch name to clipboardMar 27, 2020

+52-23

Commits

Commits on Mar 26, 2020

• Nicer module syntax

  michaelpj

  committed
  c54fba2

• Set -Werror for everything in CI again

  Show description for 3e566d5
  michaelpj

  committed
  3e566d5

• plc-agda has warnings that I don't know how to fix

  michaelpj

  committed
  bdc2d35