Closed romancardenas closed 1 year ago
bors try
Configuration problem: bors.toml: not found
As far as I understand you can also remove the push
event from the workflows:
https://github.com/rust-embedded/riscv/blob/bba4de26f16f3bf2a9358400a571946729fa3576/.github/workflows/build.yaml#L2-L3
Maybe you want to keep master, but the other two were just for bors, weren't they?
You're right! I'd leave it for master
, but the other branches can be removed. @almindor are we missing something?
You're right! I'd leave it for
master
, but the other branches can be removed. @almindor are we missing something?
I think we should be good here.
Once we have the CI workflows updated and ready for GHMQ... it's time to remove all the bors-related files and configurations. Once this PR is accepted, bors will no longer be required and we can remove it from the repo settings once and for all.
Related PRs and issues: #132 #133 Check also this issue of the wg repo.