[Builtins] Make 'BuiltinSuccess' the first constructor #5885
IOG Hydra / ci/hydra-build:x86_64-darwin.ghc96.checks.plutus-ledger-api:test:plutus-ledger-api-plugin-test
succeeded
May 30, 2024 in 17s
Build succeeded
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/4z4phcrzazrks518y5p14xi3xnvgpk5k-plutus-ledger-api-test-plutus-ledger-api-plugin-test-1.28.0.0-check.drv
Log
unpacking sources
unpacking source archive /nix/store/27awfkfhbpzy6i4684znak0fw6wbd3nh-source-root-plutus-ledger-api-test-plutus-ledger-api-plugin-test-root
source root is source-root-plutus-ledger-api-test-plutus-ledger-api-plugin-test-root
patching sources
building
/nix/store/2sq45ahxn318cdy4pskbrdqlqw1mnczs-plutus-ledger-api-test-plutus-ledger-api-plugin-test-1.28.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-plutus-ledger-api-test-plutus-ledger-api-plugin-test-1.28.0.0-check.drv-0/tmp.070lRbmi8F/bin
plutus-ledger-api-plugin-test
Budget
9.6
gt: OK (0.07s)
currencySymbolValueOf: OK (0.04s)
gt1: OK (0.10s)
gt1: OK (0.11s)
gt2: OK (0.09s)
gt2: OK (0.10s)
gt3: OK (0.10s)
gt3: OK (0.12s)
gt4: OK (0.09s)
gt4: OK (0.06s)
gt5: OK (0.06s)
gt5: OK (0.04s)
geq1: OK (0.03s)
geq1: OK (0.02s)
geq2: OK (0.04s)
geq2: OK (0.04s)
geq3: OK (0.04s)
geq3: OK (0.04s)
geq4: OK (0.03s)
geq4: OK (0.04s)
geq5: OK (0.04s)
geq5: OK (0.04s)
currencySymbolValueOf: OK (0.04s)
currencySymbolValueOf: OK (0.04s)
Value
9.6
Short: OK (1.25s)
Long: OK (4.17s)
All 26 tests passed (4.33s)
Loading