Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(ci): Remove failing bors workflow #744

Merged
merged 1 commit into from
Feb 3, 2023
Merged

chore(ci): Remove failing bors workflow #744

merged 1 commit into from
Feb 3, 2023

Conversation

phated
Copy link
Contributor

@phated phated commented Feb 3, 2023

Related issue(s)

Resolves #292

Description

This removes the bors.yml workflow file. We're instead opting for a GitHub branch protection that requires a branch to be up-to-date before it can be squashed into master.

Summary of changes

Just removing the file since it is creating failing CI runs.

Dependency additions / changes

Test additions / changes

Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt with default settings.
  • I have linked this PR to the issue(s) that it resolves.
  • I have reviewed the changes on GitHub, line by line.
  • I have ensured all changes are covered in the description.

Additional context

@phated phated merged commit 9ff654c into master Feb 3, 2023
@phated phated deleted the phated/bors branch February 3, 2023 21:12
TomAFrench added a commit to TomAFrench/noir that referenced this pull request Feb 3, 2023
* master:
  feat(nargo): Add `nargo test` command to run all unit tests (noir-lang#728)
  chore(ci): Apply `doc needed` label automatically on PRs (noir-lang#733)
  chore(ci): Remove failing bors workflow (noir-lang#744)
  feat(ci): Add workflow to validate PR title (noir-lang#730)
  feat(docs): Introduce Conventional Commits & release process docs (noir-lang#717)
TomAFrench added a commit that referenced this pull request Feb 3, 2023
* master:
  feat(nargo): Add `nargo test` command to run all unit tests (#728)
  chore(ci): Apply `doc needed` label automatically on PRs (#733)
  chore(ci): Remove failing bors workflow (#744)
  feat(ci): Add workflow to validate PR title (#730)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Integrate Bors into the CI
3 participants