doc/.github
Felix Niederwanger de2c94dc13
Add CI to new pull requests
Run a simple hugo build step on every pull request to ensure the website
remains healthy.
2022-06-29 11:48:10 +02:00
..
workflows Add CI to new pull requests 2022-06-29 11:48:10 +02:00