Closed JaredCorduan closed 1 year ago
So when will this be fixed so the links work again?
The ledger is now hosting all of our PDFs in GitHub releases. See https://github.com/input-output-hk/cardano-ledger/pull/3245 and https://github.com/input-output-hk/cardano-ledger/pull/3260.
All of the latex specs in the cardano-ledger repository were previously being built by hydra in CI. Since hydra is gone now, the links no longer work and the specifications are no longer being built. We would love to have this support in cicero. thanks!