New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

fix CI triggers #17

Merged

mockersf merged 1 commit into main from mockersf-patch-1

Oct 15, 2024

Member

mockersf commented Oct 15, 2024

enable merge queue
trigger on push only to main


          fix CI triggers

d836481

enable merge queue
trigger on push only to main

mockersf added this pull request to the merge queue

Merged via the queue into main with commit d3fc0b6

3 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet