Project checks

[Peras 9] Peras voting rules prep: parameters, arrival times, and CertDB updates #4997

Sign in to view logs

Triggered via pull request December 3, 2025 13:10

synchronize #1784

peras/main-pr/new-defs-and-plumbing

Status Success

Total duration 2m 55s

Artifacts –

checks.yml

on: pull_request

Cabal files check

Release badges are updated

Check build plans (dev vs release)

Check references

Annotations

1 warning

Unbuildable project

Your project will fail to build in CHaP/Hackage