diff options
| author | Paul Spooren <mail@aparcar.org> | 2021-03-04 16:52:35 -1000 |
|---|---|---|
| committer | Paul Spooren <mail@aparcar.org> | 2021-03-04 18:21:01 -1000 |
| commit | 1b46af0e594858c7df17f00ee8c3a42e32a76215 (patch) | |
| tree | 84b1d0faedee0092f75483708cc7f934199e1c2b /.github/workflows/ci_helpers.sh | |
| parent | f013af726ad76f928d8188712ae21c8f352ce1f1 (diff) | |
CI: migrate formal checks from CircleCI to GitHub
Run the formal checks like SoB message via the GitHub CI.
Signed-off-by: Paul Spooren <mail@aparcar.org>
Diffstat (limited to '.github/workflows/ci_helpers.sh')
0 files changed, 0 insertions, 0 deletions