serv/.github/workflows
2021-05-05 15:32:02 +02:00
..
ci.yml Fix CI after branch renaming 2021-05-05 15:32:02 +02:00
lint.yml Fix CI after branch renaming 2021-05-05 15:32:02 +02:00
pages.yml Build website automatically and publish to gh-pages 2021-04-18 21:07:27 +02:00