Project checks

Revert "[Peras 4] Add ObjectDiffusion and `PerasCert` diffusion (inst… #4998

Sign in to view logs

Re-run triggered December 4, 2025 12:04

jasagredo

#1790

geo2a/revert-peras-4

Status Failure

Total duration 12s

Artifacts –

checks.yml

on: pull_request

Cabal files check

Release badges are updated

Check build plans (dev vs release)

Check references

Annotations

1 error

Process completed with exit code 1.