Skip to content

Flakeify and use GH Actions#940

Merged
mrkkrp merged 2 commits intomasterfrom
amesgen/flakeify
Jan 23, 2023
Merged

Flakeify and use GH Actions#940
mrkkrp merged 2 commits intomasterfrom
amesgen/flakeify

Conversation

@amesgen
Copy link
Copy Markdown
Contributor

@amesgen amesgen commented Nov 17, 2022

  • Nix code for integration tests of Ormolu are now moved out of the main Nix file.
  • Due to the built-in Git awareness of flakes, the .git directory is no longer available, so gitrev can't work. Hence, we are now passing in the current commit rev (if it exists) as an environment variable at build time.
  • The IOG binary cache is specified in the flake, see nixConfig in flake.nix. This way, one does no longer have to globally configure it.
  • I included .envrc files for nix-direnv for convenience, but this is not super important.
  • Migrate to GH Actions.
  • Removed Ormolu Live for now as it won't build on the GH Actions runners due to low RAM. It will be replaced by a WASM-based alternative in Add WASM-based Ormolu Live #964.
  • As a side effect, closes cabal inside nix-shell is not working #973 (see cabal inside nix-shell is not working #973 (comment)).

@amesgen amesgen changed the title Flakeify Flakeify and use GH Actions Jan 2, 2023
@amesgen amesgen force-pushed the amesgen/flakeify branch 3 times, most recently from 073e058 to d9af426 Compare January 6, 2023 16:52
@mrkkrp mrkkrp mentioned this pull request Jan 6, 2023
@amesgen amesgen force-pushed the amesgen/flakeify branch 4 times, most recently from 23a13e2 to 3e7308c Compare January 20, 2023 18:27
Copy link
Copy Markdown
Member

@mrkkrp mrkkrp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Terrific job, as usual! Other than the request to preserve Ormolu live source code, I have just two minor comments.

also drop Ormolu Live temporarily
@mrkkrp mrkkrp merged commit af02809 into master Jan 23, 2023
@mrkkrp mrkkrp deleted the amesgen/flakeify branch January 23, 2023 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

cabal inside nix-shell is not working

2 participants