Skip to content

GitHub

Workflows

We use GitHub Actions for our CI/CD pipelines. These are defined in the .github/workflows directory.

Triggering workflows

Workflows are triggered by events:

  • Opening, modifying, or closing a pull request
  • Adding or removing labels
  • Adding tags

Occasionally a stubborn workflow will not trigger. In this case, you can manually trigger a workflow by going to the Actions tab in GitHub and clicking the "Run workflow" button.

If this is not an option, you can push an empty commit:

git commit --allow-empty -m "trigger workflows"
git push

Signed commits

As our repositories are private, we do not gain a huge amount by using signed commits as the risk of someone impersonating another user is pretty low.

But if you would like to, you can sign your commits.