Commit graph

3 commits

Author SHA1 Message Date
webzwo0i
8d73c29f1a run frontend workflow only on push
run all other workflows on push and on PRs from external repos

This should prevent running workflows twice in case of a PR from a
branch of the main repo
2020-11-23 01:45:49 +01:00
webzwo0i
f6be407df2 workflows: better names 2020-11-23 00:55:03 +01:00
webzwo0i
c0baf05ee8 add github workflows 2020-11-22 23:00:59 +01:00