Skip to content
Formal Ledger Specs

Only allow delegations to existing DReps #2399

Sign in to view logs

Only allow delegations to existing DReps

Only allow delegations to existing DReps #2399

Triggered via pull request October 29, 2024 15:34
@williamdemeowilliamdemeo
synchronize #597
511-only-allow-delegation-to-existing-dreps
Status Failure
Total duration 21m 43s
Artifacts –

build.yml

on: pull_request
Formal-Ledger
4m 35s
Formal-Ledger
Ledger-hs
4m 39s
Ledger-hs
Ledger-pdf
11m 51s
Ledger-pdf
Midnight
4m 34s
Midnight
MAlonzo
4m 50s
MAlonzo
Uploads
0s
Uploads
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Formal-Ledger
Process completed with exit code 1.
Ledger-hs
Process completed with exit code 1.
MAlonzo
Process completed with exit code 1.
Midnight
Process completed with exit code 1.
Ledger-pdf
Process completed with exit code 123.