Skip to content

Improve shell.nix, add niv, ormolu, and improve CI#355

Merged
tbagrel1 merged 1 commit intomasterfrom
tbagrel1/nix-ci-improvements
Jan 14, 2022
Merged

Improve shell.nix, add niv, ormolu, and improve CI#355
tbagrel1 merged 1 commit intomasterfrom
tbagrel1/nix-ci-improvements

Conversation

@tbagrel1
Copy link
Copy Markdown
Member

No description provided.

@tbagrel1 tbagrel1 requested a review from aspiwack January 11, 2022 08:55
@tbagrel1
Copy link
Copy Markdown
Member Author

Why did you remove the restore-key?

I didn't see that the key and restore-key were different, my bad. By the way, what is github.sha at the end of the primary key?

@aspiwack
Copy link
Copy Markdown
Member

I didn't see that the key and restore-key were different, my bad. By the way, what is github.sha at the end of the primary key?

It's the commit's hash, I believe.

@tbagrel1 tbagrel1 force-pushed the tbagrel1/nix-ci-improvements branch 5 times, most recently from aea18d4 to 5749b5a Compare January 13, 2022 17:05
The ormolu check in the CI is disabled for now, and will be enabled in a future PR in which the whole codebase will be ormolized.
@tbagrel1 tbagrel1 force-pushed the tbagrel1/nix-ci-improvements branch from d5f4bf6 to d0739d1 Compare January 14, 2022 09:52
@tbagrel1 tbagrel1 changed the title Improve shell.nix, add niv, and format with ormolu Improve shell.nix, add niv, ormolu, and improve CI Jan 14, 2022
@tbagrel1 tbagrel1 merged commit 9b27ec8 into master Jan 14, 2022
@tbagrel1 tbagrel1 deleted the tbagrel1/nix-ci-improvements branch January 14, 2022 10:13
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.

2 participants