CI push trigger targets main but the default branch is master

[tiagolauer]

What

.github/workflows/ci.yml triggers on pushes to main:

on:
  push:
    branches: [main]
  pull_request:

This repository's default branch is master. There is no main branch, so the push trigger never fires. CI currently runs only through the pull_request trigger, which means direct pushes to master (including merge commits) get no CI run at all.

Fix

Change the branch filter to master:

on:
  push:
    branches: [master]
  pull_request:

One line. After the change, pushing to master should show both the Types matrix and the Runtime tests jobs in the Actions tab.