Open guacke opened 3 years ago
This PR enables continuous integration with Github Actions. The resulting *.pdf's can be found by clicking on the green ✔️ next to the respective commits.
This PR enables continuous integration with Github Actions. The resulting *.pdf's can be found by clicking on the green ✔️ next to the respective commits.