Skip to content

.github: do not push to tag on push to main - #8

Merged
charludo merged 2 commits into
mainfrom
ch/do-not-push-tag-from-main
Sep 2, 2026
Merged

.github: do not push to tag on push to main#8
charludo merged 2 commits into
mainfrom
ch/do-not-push-tag-from-main

flake: do not push in `render-k8s-resources`

da1dd49
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
checks
succeeded Sep 2, 2026 in 6m 16s