CI: Run CI on merge_group events, and add a finalize job#921
Merged
andreasnoack merged 1 commit intoJuliaStats:masterfrom DilumAluthge:dpa/merge_groupMay 26, 2024
+16
merge_group events, and add a finalize job#921