leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211 stars 50 forks source link

Enable pdf generation in prs; fix chapter structure #86

Closed lakesare closed 1 year ago

lakesare commented 1 year ago

In this PR:

Gotchas

I can now see the generated pdf in my forked branch, however the new workflow doesn't run in this repo for some reason. Maybe this will work upon the creation of further PRs after this is merged, or maybe some permission needs to be set by Arthur, will be more clear on further PRs.

arthurpaulino commented 1 year ago

This is really amazing. Thank you very much!