Dustin L. Howett d898b704e3

ci: rename and add [push] to triggers (#365) ...

I think this workflow needs to run on push to `main` _as well as_ pull
request to main so that it shows up as an available branch protection
status check.

Given that it's not just PRs any longer, I renamed it too.

2025-05-30 13:47:23 +02:00

..

workflows

ci: rename and add [push] to triggers (#365)

2025-05-30 13:47:23 +02:00