chrismdp / fix-failing-main

A failing main becomes an issue and a build

Public ·
Version 3 of 3
  1. #3 · chrismdp · · 0.4ShowingLatest
  2. #2 · chrismdp · · 0.4
  3. #1 · chrismdp · · 0.4
Fork

GitHub Actions

GitHub: CI, issues and workflowsActions job in CI: report the failure, running none of the codethe runthe failed jobs' logthe open issues[open][none]TriggerA check fails on mainConnectionThe repository, through itsown Actions tokenConnectionThe repository, through itsown GitHub AppGitHub starts the build from a label the app adds, though not from one the Actions token adds. The app's key is a secret only this job is givenCode · bring-inBring in the failed jobs' logDataThe failing checks' outputOnly the repository's own people and workflows can change main, so its log is the repository's own textCode · sortSort by rule: is an issue abouta failing main already open?One open issue at a time, so a main that fails on several pushes starts one build, not one eachCode · doAdd this run to the open issueCode · doOpen an issue with the failingoutput, labelled failing-mainand buildOutside actionComment on an issueAllowOutside actionOpen an issue labelled build,which starts the buildAllowThe build is drawn at awml.io/chrismdp/issue-to-pull-request. It retries, and merges by the same rules as any other build, once CI passes