Github action built PDF different than local one
I just saw that the PDF built by the Github actions is slighly different from the one I build locally. Also the size is quite different.
E.g. Github action:
Size: 2.5MiB
built locally (Windows/MikTex):
Size: 5.0MiB
Could we please fix the GitHub action so it builds a visually correct PDF?
This issue or pull request has been automatically marked as stale because it has not had recent activity. Please manually close it, if it is no longer relevant, or ask for help or support to help getting it unstuck. Let me bring this to the attention of @klieret @wdconinc @michmx for now.
Hmm, maybe the pdf produced by gh actions doesn't have the fonts embedded or some trouble related to that?
But I wouldn't say that either of them is "correct" or "wrong".
I also don't have any ideas about a reasonable fix. Can you add someone who might help here?
Otherwise I vote to close.
Let's wait until #184 is merged and then check the slides again. Those need to be proper.
We concluded the slides from GitHub actions are fine.