do not lint on tag push

This commit is contained in:
2025-11-08 21:50:03 +01:00
parent 39a6fffd50
commit 082f30722c

View File

@@ -1,8 +1,12 @@
name: lint
on:
push:
pull_request:
push:
branches:
- '**'
tags-ignore:
- '*'
pull_request:
jobs:
lint: