Closed zrfr closed 1 month ago
This change is to ensure our CI workflow runs as expected when we are using a merge queue. Also enables CI for all pull requests regardless of branch.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This change is to ensure our CI workflow runs as expected when we are using a merge queue. Also enables CI for all pull requests regardless of branch.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.