Skip to content
This repository has been archived by the owner on Sep 10, 2024. It is now read-only.

Ledger PDFs in CI #67

Closed
JaredCorduan opened this issue Dec 2, 2022 · 2 comments
Closed

Ledger PDFs in CI #67

JaredCorduan opened this issue Dec 2, 2022 · 2 comments

Comments

@JaredCorduan
Copy link

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!

@brouwerQ
Copy link

brouwerQ commented Jan 3, 2023

So when will this be fixed so the links work again?

@JaredCorduan
Copy link
Author

The ledger is now hosting all of our PDFs in GitHub releases. See IntersectMBO/cardano-ledger#3245 and IntersectMBO/cardano-ledger#3260.

@JaredCorduan JaredCorduan closed this as not planned Won't fix, can't repro, duplicate, stale Jan 18, 2023
iohk-bors bot added a commit to IntersectMBO/cardano-node that referenced this issue Feb 13, 2023
4775: Markdown links CI check r=newhoggy a=newhoggy

This adds a CI check to make sure Markdown links are valid.

There are currently failures in this CI check, but the idea is to merge the PR as is and then ask the respective teams to fix the invalid links.

Depends on:
* input-output-hk/cicero#67
*  IntersectMBO/cardano-ledger#3245
* input-output-hk/cicero#67

Co-authored-by: John Ky <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants