Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: update nix.yml #315

Merged
merged 2 commits into from
Jun 12, 2024
Merged

CI: update nix.yml #315

merged 2 commits into from
Jun 12, 2024

Conversation

pnmadelaine
Copy link
Contributor

  • run nix.yml on pull requests
  • use nix cache

@franziskuskiefer
Copy link
Member

Do you want this merged with the failing job or get it fixed first?

@pnmadelaine
Copy link
Contributor Author

I think it is better to merge this first.

The Nix job is going to fail anyway until the interaction with Eurydice is fixed.
With this at least it is going to fail faster! :)

@franziskuskiefer franziskuskiefer merged commit 343bf8e into cryspen:dev Jun 12, 2024
41 of 42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@franziskuskiefer franziskuskiefer franziskuskiefer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
libcrux
Status: ✅ Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pnmadelaine @franziskuskiefer