New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix CI path ignoring #24

Merged

omus merged 1 commit into main from cv/ci-path-ignore

Apr 19, 2024

Member

omus commented Apr 19, 2024

This restriction was causing CI not to run against main.

If you define a path with the ! character, you must also define at least one path without the ! character. If you only want to exclude paths, use paths-ignore instead.

– https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-including-and-excluding-paths


          Fix CI path ignoring

72c7bc4

omus merged commit 32176ab into main

4 checks passed

omus deleted the cv/ci-path-ignore branch

April 19, 2024 04:52

This was referenced Apr 19, 2024

Fix dorny/paths-filter on push event #25

Merged

PR-based workflow does not trigger CI on tag #20

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet