fix(ci): the push trigger names master, which is this repo's default branch

The workflow was written with `branches: [main]` like the other two added
the same day, but evo.zscripts' default branch is master, so the push
trigger could never fire here - the PR trigger ran and passed, the merge
to master ran nothing, and the "tests" badge would have stayed at the
PR's result forever. Caught when the post-merge run was looked for and
did not exist.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
KellyMichels 2026-09-09 18:04:43 -05:00
parent 32e8d7430f
commit 3a8eb9ec13

View File

@ -1,4 +1,4 @@
# The Pester suite, on every push to main and every PR. # The Pester suite, on every push to master and every PR.
# #
# This repo is one of the twelve on the fleet board # This repo is one of the twelve on the fleet board
# (evomedia.net/testsuites.html) and was one of three with no CI at all, so the # (evomedia.net/testsuites.html) and was one of three with no CI at all, so the
@ -14,7 +14,7 @@ name: tests
on: on:
push: push:
branches: [main] branches: [master]
pull_request: pull_request:
# Read-only: this job builds nothing and publishes nothing, so the default # Read-only: this job builds nothing and publishes nothing, so the default