Code

Pipe termination and rework, Add CI#7

Code

Merged

sorki merged 4 commits intomasterDistRap/gcodehs:masterfrom termPipesDistRap/gcodehs:termPipesCopy head branch name to clipboardOct 22, 2023

+241-34

Commits

Commits on Aug 11, 2022

• Add pipe termination, limit tracking pipes, haddocks

  sorki

  committed
  8066bde

  Copy full SHA for 8066bde

• Drop unused packages, -Wall for testsuite

  sorki

  committed
  7db791c

  Copy full SHA for 7db791c

Commits on Oct 22, 2023

• Add CI

  sorki

  committed
  030adf3

  Copy full SHA for 030adf3

• move hspec-discover to build-tool-depends

  sorki

  committed
  1074497

  Copy full SHA for 1074497