András Schmelczer 5f72ae7213 Add linting CI		2022-01-24 21:14:52 +01:00
..
check-format-and-lint.yaml	Add linting CI	2022-01-24 21:14:52 +01:00
deploy-gh-pages.yaml	Add GitHub Pages deployent	2022-01-23 23:24:15 +01:00