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

CI Streamlining Refactor #28748

Merged
merged 28 commits into from
May 15, 2024
Merged

CI Streamlining Refactor #28748

merged 28 commits into from
May 15, 2024

Conversation

Sam-Armstrong
Copy link
Contributor

@Sam-Armstrong Sam-Armstrong commented May 14, 2024

  • Remove all unnecessary actions workflows
  • Create new testing workflow (initial version) that attempts to infer tests that should be run
  • Add new workflow to check for duplicated frontend functions
  • Modify conftest.py to speed up the hypothesis tests somewhat

@Sam-Armstrong Sam-Armstrong self-assigned this May 14, 2024
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PR Compliance Checks

Thank you for your Pull Request! We have run several checks on this pull request in order to make sure it's suitable for merging into this project. The results are listed in the following section.

Issue Reference

In order to be considered for merging, the pull request description must refer to a specific issue number. This is described in our contributing guide and our PR template.
This check is looking for a phrase similar to: "Fixes #XYZ" or "Resolves #XYZ" where XYZ is the issue number that this PR is meant to address.

Conventional Commit PR Title

In order to be considered for merging, the pull request title must match the specification in conventional commits. You can edit the title in order for this check to pass.
Most often, our PR titles are something like one of these:

  • docs: correct typo in README
  • feat: implement dark mode"
  • fix: correct remove button behavior

Linting Errors

  • Found type "null", must be one of "feat","fix","docs","style","refactor","perf","test","build","ci","chore","revert"
  • No subject found

@Sam-Armstrong Sam-Armstrong merged commit d7b8786 into main May 15, 2024
6 of 7 checks passed
@Sam-Armstrong Sam-Armstrong deleted the ci branch May 15, 2024 20:19
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.

2 participants