search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Use nix-build for CI #65

Closed wavewave closed 2 years ago

wavewave commented 2 years ago

This external-world-dependency will give us continuing breaking-build troubles: https://github.com/con-kitty/categorifier/blob/master/.github/workflows/ci.yml#L34

For CI process, it is desired to have a fully deterministic build.