Build Failure: serokell/haskell-certification flake input (for hf-cert-1) is inaccessible (404)

[philippedev101]

The flake build is failing because the input haskell-certification.url = "github:serokell/haskell-certification" is now a 404. This dependency provides the services.haskell-certification NixOS module for the hf-cert-1 system, which powers certification.haskell.foundation.

Problem: The serokell/haskell-certification GitHub repository is no longer public/available.
Impact: Cannot build or deploy hf-cert-1.
Questions:

1. Is certification.haskell.foundation still a required service?
2. If yes, where has the haskell-certification application source code been moved? (New URL?)

Next Steps (Pending Answers):

• If moved: Update flake.nix with the new URL.
• If deprecated: Remove the dependency and service configuration.
• If lost but needed: Investigate recovery or replacement.

We need the current location/status of the haskell-certification source to proceed.

[philippedev101]

@chreekat please let me know about this when you have some time

[chreekat]

@philippedev101 yeah. :( I discovered this almost the same time you did. I opened an issue on the upstream repo. But that repo is private, because it has the answers to the test questions.

For anyone who does have access to that repo, the issue is https://github.com/serokell/haskell-certification/issues/495 .

My understanding is that the certification server is important, but there are other critical things that are being worked on. I've let people know there's a problem, and I'm waiting for feedback.

[philippedev101]

@chreekat what about for now the dependency and service configuration could be removed and then later re-added when the repository is online somewhere?

[chreekat]

Wait, I totally misread the initial comment. My apologies.

I lost the ability to build haskell-certification because of a 404 attempting to fetch a flake dependency. I think I know how to fix that one. But it's a different problem.

The problem you are facing is more challenging. The haskell-certification repo contains all the content of the website, including questions and answers for the certification tests. Those cannot be public.

The long-term fix is to split the content into a separate private repo, so that the website service can be public.