Should CI tests run on push to main?

[gwhitney]

Most github repositories show a check when the current contents of main pass the ci tests. Currently ours does not. Perhaps it is because the CI actions do not run on on push, only on pull requests. I like not having redundant runs on each push to a branch and then on the PR from that branch, but I would not mind having the (admittedly slightly redundant) check on main. Is there a way to configure Github actions so that the tests will run after each merge to main and then be shown on the github home page for the repo? If so, would we want to do that?

[liammulh]

I think the CI actions can be configured to run on push to main. Something like:

on:
  push:
    branches:
      - main

[liammulh]

I'm fine with doing that as long as we don't run out of free minutes.

[gwhitney]

I think right now we're nowhere near using up the free tier. I will convert this into an issue.

[liammulh]

More detailed example on this page: https://docs.github.com/en/actions/examples/using-scripts-to-test-your-code-on-a-runner.

[gwhitney]

As this is now implemented, closing.