Formal Ledger Specs

Simplify isUnregisteredDRep (#684) #2787

Sign in to view logs

Triggered via push February 19, 2025 11:20

WhatisRT

master

Status Success

Total duration 9m 2s

Artifacts 4

build.yml

on: push

Artifacts

Produced during runtime

Name	Size
Docs-formalLedger	72 MB
Docs-ledger-hs	2.42 MB
Docs-ledger-pdf	4.38 MB
Docs-midnight	4.84 MB