Fix impurity in CI build process

[jmininger]

No description provided.

[emmanueldenloye]

LGTM

[mightybyte]

@sirlensalot @larskuhtz What is up with this stack build failure? Can we merge anyway?

[larskuhtz]

@mightybyte yeah, I'll take care of the Github actions builds in a separate PR.

[mightybyte]

On second look, this doesn't actually run the benchmarks. Furthermore, it doesn't even result in the benchmark executable being in the output derivation. Now that I'm thinking about it...pretty sure this is why I used the nix-shell approach in the first place. :/

[jmininger]

I've added a benchmark derivation that actually runs the benchmark in a post-build

dismissed