Closed amesgen closed 1 month ago
I accidentally introduced an hlint failure in #1292, which got merged as the job is not marked as required. This PR resolves this by adding it to the Hydra jobset.
I accidentally introduced an hlint failure in #1292, which got merged as the job is not marked as required. This PR resolves this by adding it to the Hydra jobset.