Hash :
ff86c72e
Author :
Date :
2021-03-16T00:20:05
[ci] Avoid duplicate builds on pull requests Don’t run GitHub Actions on pushing to branches other than master. This was already the case for the linux-ci workflow.