Derive Ord HeadId

[uhbif19]

I see no reasons why Ord is worse than Eq.

This is not public API, I think, so no CHANGELOG, right?

---

• CHANGELOG updated or not needed
• Documentation updated or not needed
• Haddocks updated or not needed
• No new TODOs introduced or explained herafter

[uhbif19]

@ch1bo

Seems like Actions are broken for outside PRs?

path '/home/runner/work/hydra/hydra/plutus-cbor' does not contain a 'flake.nix', searching up
fatal: reference is not a tree: 7313b0001a347895c5[6](https://github.com/input-output-hk/hydra/actions/runs/5229712380/jobs/9442854623?pr=918#step:6:7)eeaeb8dc06af9db00fd1[7](https://github.com/input-output-hk/hydra/actions/runs/5229712380/jobs/9442854623?pr=918#step:6:8)
error:
       … while fetching the input 'git+file:///home/runner/work/hydra/hydra'

[ch1bo]

@ch1bo

Seems like Actions are broken for outside PRs?

Yes, unfortunately the nix build with flakes does not play well with forks.