Martin Storsjö 22790a89f4 github: Don't run builds for tags, only pushes to branches ...

There's no need to rerun all the builds when pushing a tag.

2023-02-10 23:56:30 +02:00

..

workflows

github: Don't run builds for tags, only pushes to branches

2023-02-10 23:56:30 +02:00