ci: auto-merge compatibility matrix PRs once CI is green - #1217
Open
petercrocker wants to merge 2 commits into
Open
ci: auto-merge compatibility matrix PRs once CI is green#1217petercrocker wants to merge 2 commits into
petercrocker wants to merge 2 commits into
