search

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Add action to build pdf #20

Closed int-y1 closed 6 months ago

int-y1 commented 10 months ago

Add a GitHub Action to create "correctness-deciders.pdf" and keep the pdf up-to-date.

Example commit: https://github.com/int-y1/bbchallenge-proofs/commit/b41df8e6ae64720bb9d90e4ba2605405b7fc8e57 The pdf is stored at this url: https://github.com/int-y1/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf

tcosmo commented 6 months ago

Thank you very much!