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

Add GHA workflow to autoupdate pre-commit hooks #1378

Merged
merged 1 commit into from Jan 7, 2023

Conversation

maresb
Copy link
Contributor

@maresb maresb commented Dec 29, 2022

Here are a few important guidelines and requirements to check before your PR can be merged:

  • There is an informative high-level description of the changes.
  • The description and/or commit message(s) references the relevant GitHub issue(s).
  • pre-commit is installed and set up.
  • The commit messages follow these guidelines.
  • The commits correspond to relevant logical changes, and there are no commits that fix changes introduced by other commits in the same branch/BR.
  • There are tests covering the changes introduced in the PR.

Don't worry, your PR doesn't need to be in perfect order to submit it. As development progresses and/or reviewers request changes, you can always rewrite the history of your feature/PR branches.

If your PR is an ongoing effort and you would like to involve us in the process, simply make it a draft PR.

@codecov
Copy link

codecov bot commented Dec 29, 2022

Codecov Report

Merging #1378 (13c4419) into main (0f8d849) will not change coverage.
The diff coverage is n/a.

❗ Current head 13c4419 differs from pull request most recent head 6c25532. Consider uploading reports for the commit 6c25532 to get more accurate results

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #1378   +/-   ##
=======================================
  Coverage   74.69%   74.69%           
=======================================
  Files         195      195           
  Lines       49748    49748           
  Branches    10529    10529           
=======================================
  Hits        37157    37157           
  Misses      10266    10266           
  Partials     2325     2325           

@brandonwillard brandonwillard added the CI Involves continuous integration label Dec 30, 2022
@maresb maresb marked this pull request as ready for review January 2, 2023 23:09
@brandonwillard brandonwillard added the enhancement New feature or request label Jan 3, 2023
@maresb
Copy link
Contributor Author

maresb commented Jan 3, 2023

Rebased on main (all checks were green)

@maresb
Copy link
Contributor Author

maresb commented Jan 6, 2023

An alternative would be to install the pre-commit app.

I feel somewhat reluctant about apps due to the lack of transparency. The app would probably give a better "experience" whatever that means. In contrast, this action is simple and transparent: just a few lines of YAML upstream.

I'm happy either way; it's nice to have the functionality.

@brandonwillard brandonwillard merged commit 65ce385 into aesara-devs:main Jan 7, 2023
@maresb maresb deleted the update-pre-commit branch January 7, 2023 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Involves continuous integration enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants