ci: skip doc-only push workflows #26

Merged
archvillainette merged 1 commits from chore/skip-doc-only-push-workflows into main 2026-06-26 16:55:19 +00:00
Owner

Summary:

  • Add push paths-ignore filters for docs/**, README.md, AGENTS.md, and LICENSE.
  • Leave pull_request, workflow_dispatch, and tag release behavior unchanged.

Verification:

  • Parsed changed workflow YAML with PyYAML via Nix.
Summary: - Add push paths-ignore filters for docs/**, README.md, AGENTS.md, and LICENSE. - Leave pull_request, workflow_dispatch, and tag release behavior unchanged. Verification: - Parsed changed workflow YAML with PyYAML via Nix.
archvillainette added 1 commit 2026-06-26 16:28:16 +00:00
ci: skip doc-only push workflows
build-binaries / build-binaries (pull_request) Successful in 2m11s
test-image / build-image (pull_request) Successful in 36s
test / test (pull_request) Successful in 1m21s
c0999903f0
archvillainette merged commit dd92379b68 into main 2026-06-26 16:55:19 +00:00
archvillainette deleted branch chore/skip-doc-only-push-workflows 2026-06-26 16:55:19 +00:00
Sign in to join this conversation.