Certifier: Add decision procedure for hoist-builtins pass - #7822
Open
basetunnel wants to merge 1 commit into
Open
Certifier: Add decision procedure for hoist-builtins pass#7822basetunnel wants to merge 1 commit into
basetunnel wants to merge 1 commit into
IOG Hydra / ci/hydra-build:x86_64-linux.ghc96:checks:plutus-metatheory:test:test-certifier-report
failed
Jul 19, 2026 in 22s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/svj01mqn748nf5zp3p4jsidmghcqp89x-plutus-metatheory-test-test-certifier-report-1.66.0.0-check.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/bdk8qw3hsz30jx6zjbxvxcjf56cbrxz5-source-plutus-metatheory-test-test-certifier-report-root
source root is source-plutus-metatheory-test-test-certifier-report-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/bmfsgsxj2jspx00b4q6m5asbmbhkwijm-plutus-metatheory-test-test-certifier-report-1.66.0.0/bin:
patching script interpreter paths in /build/tmp.9qhGkbCFPV/bin
Certifier Report
uplc report tests
n-queens: FAIL (10.87s)
Files 'test/certifier-report/golden/n-queens.golden.report' and '/build/extra-file-54734891173695-32-0' differ
Use -p '$0=="Certifier Report.uplc report tests.n-queens"' to rerun this test only.
n-queens: OK (10.40s)
Golden file did not exist; created
1 out of 2 tests failed (21.26s)
Loading