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.

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

WIP: Hydra Test (Second attempt) #4973

Closed
wants to merge 18 commits into from

Conversation

sgillespie
Copy link
Contributor

Description

reasonably detailed description of the pull request

Checklist

Quality

  • Commit sequence makes sense and have useful messages, see ref.
  • New tests are added and existing tests are updated.
  • Self-reviewed the PR.

Maintenance

  • Linked an issue or added the PR to the current sprint of ouroboros-network project.
  • Added labels.
  • Updated changelog files.
  • The documentation has been properly updated, see ref.

coot and others added 18 commits September 30, 2024 18:28
We still have `.github/dependabot.yml`.
We no longer use `srp` for dependency management, thus the script is no
longer needed.
* Added explicit cabal.project
* Removed `-Werror` flags in nix, they are set in `cabal.project.local`
  files.
* Used `doCheckCross` instead of setting `doCheck` flag per package.
```
nix develop .\#profiling
```

It will enter a nix shell with profiling environment for `ghc-9.8`.
The only supported way to start one of the provides shells is by using
`nix develop`.
@sgillespie sgillespie added the WIP Do not merge, work in progress. label Oct 1, 2024
@coot coot marked this pull request as ready for review October 1, 2024 14:55
@coot coot requested review from a team as code owners October 1, 2024 14:55
@coot coot added the nix This includes CI, nix changes or cabal dependencies label Oct 1, 2024
@coot
Copy link
Contributor

coot commented Oct 1, 2024

subsumed by #4976.

@coot coot closed this Oct 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
nix This includes CI, nix changes or cabal dependencies WIP Do not merge, work in progress.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants