David Vernet fc671aca49 ci: Only do CI runs for pull requests ... We're basically always runnin two CI jobs: one for a remote push, and another for when a PR is opened. These are essentially measuring the same thing, so let's save CI bandwidth and just do a PR run. This will hopefully make things a bit less noisy as well. Signed-off-by: David Vernet <void@manifault.com>		2024-02-04 16:12:46 -06:00
..
build-scheds.yml	ci: Only do CI runs for pull requests	2024-02-04 16:12:46 -06:00