The CI currently only runs in pull requests, but it should also run on push to main (when merging branches)