Remove ci/pr/required-check from bors.toml

[newhoggy]

No description provided.

[dermetfan]

This could be an alternative to #4920 but bors is not very useful if it checks only cabal files.

[newhoggy]

We had a discussion in the node team and resolved not have Cicero or Hydra builds as required checks because they fail too often and are preventing us from merging PRs. The hope is we can have another out-of-band process for ensuring the Cicero or Hydra builds continue to work.

[jbgi]

@newhoggy what about requiring a minimal cicero job that would only do the nix build of cardano-node for linux?
I think that should avoid most of the failures of cicero build while still ensuring a minimal nix support for cardano-node master.

[Jimbo4350]

@newhoggy what about requiring a minimal cicero job that would only do the nix build of cardano-node for linux? I think that should avoid most of the failures of cicero build while still ensuring a minimal nix support for cardano-node master.

You can put a cicero job in CI if you like but we are not using it with bors. It's been pretty bad for the past few months merging things into cardano-node with cicero. We are going to use github actions and we can notify devops when other jobs fail but that should not encumber my team.

[Jimbo4350]

bors r+

[iohk-bors]

Build succeeded:

• check-cabal-files