Skip to content

GitHub workflow#12

Merged
radim10 merged 5 commits into
radim10:masterfrom
szabgab:github-workflow
Feb 10, 2026
Merged

GitHub workflow#12
radim10 merged 5 commits into
radim10:masterfrom
szabgab:github-workflow

Conversation

@szabgab

@szabgab szabgab commented Feb 9, 2026

Copy link
Copy Markdown
Contributor
  • Changed the path filters to work on the current layout of the project and also run when the GitHub Workflow file changes.
  • Removed the branch filtering so a contributor working on a forked repository can get the results of the workflows before sending a pr.

The tests are currently failing as also reported in #11

@szabgab

szabgab commented Feb 9, 2026

Copy link
Copy Markdown
Contributor Author

This PR was sent during our live OSDC event

@radim10

radim10 commented Feb 10, 2026

Copy link
Copy Markdown
Owner

Looks good to me!

@radim10 radim10 merged commit 662ff90 into radim10:master Feb 10, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants