Bors with GitHub Workflows

Example PR: https://github.com/CAD97/pointer-utils/pull/3
Staging commit: https://github.com/CAD97/pointer-utils/commit/ccc77ebae512f631228e5be5b426802fe0cbbdfe

I've been unable to get bors to listen for the status reported by GitHub Actions. Has anyone else gotten bors to work with GitHub Workflows based CI? Am I just using the wrong status name, or is this an issue on bors' end?

I figured out the string I needed to ask bors to listen for.

Given a workflow job:

name: Workflow
jobs:
  job-identifier:
    name: Job
    steps: []

you need to listen for the status "Job", though it shows up as Workflow / Job in most UI elements.

This means that your job names should be unique even between workflows (which is probably a good idea anyway).

1 Like