Spec and PDF link broken

[danivideda]

There seems to be a problem with the link in the README file. I can't access the PDF and Spec link like I used to. It just gives me a blank page, and with different browser (Brave), it shows Error 418

[lehins]

Our CI has very recently migrated to a new service. We need to update all the links in the repo.
Thank you for reporting this.

[JaredCorduan]

See input-output-hk/cicero#67

[eyeinsky]

For those ending up here, it's possible to build the pdfs locally by cloning the repo, then:

# install texlive with your package manager

# make pdfs
find . -path '*/formal-spec' -type d | while read dir; do (cd $dir && make all); done

# list results
find . -path '*/formal-spec/*.pdf' -type f | grep -v rules.pdf # remove rules.pdf as that is a commited file

[JaredCorduan]

Resolved by the ever-awesome @teodanciu in #3245 and #3260 🎉