Bring github actions up to date

[DrDaveD]

This makes all the github pull_request actions pass. It also removes the push actions since they're confusing and not necessary if all updates are done via pull requests.