Skip to content

Pre-commit autoupdate refactor and infra-workflows version bump#260

Merged
ednolan merged 1 commit intomainfrom
enolan_precommitfile3
Sep 28, 2025
Merged

Pre-commit autoupdate refactor and infra-workflows version bump#260
ednolan merged 1 commit intomainfrom
enolan_precommitfile3

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Sep 28, 2025

This commit makes the following changes to pre-commit autoupdate:

  • Previously, the scheduling logic in ci_tests.yml was broken due to trying to juggle multiple crons intended for different purposes. This commit addresses the issue by moving the pre-commit autoupdate job into a separate workflow file with its own cron.

  • Previously, pull requests created with pre-commit autoupdate would not run CI. This was addressed by using a GitHub token generated by a GitHub App.

  • Previously, potentially flaky coverage builds would run during scheduled builds. Coverage is now excluded from these builds after updating infra-workflows.

This commit makes the following changes to pre-commit autoupdate:

- Previously, the scheduling logic in ci_tests.yml was broken due to
  trying to juggle multiple crons intended for different
  purposes. This commit addresses the issue by moving the pre-commit
  autoupdate job into a separate workflow file with its own cron.

- Previously, pull requests created with pre-commit autoupdate would
  not run CI. This was addressed by using a GitHub token generated by
  a GitHub App.

- Previously, potentially flaky coverage builds would run during
  scheduled builds. Coverage is now excluded from these builds after
  updating infra-workflows.
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling b315a9f on enolan_precommitfile3
into f864c2a on main.

@ednolan ednolan merged commit 5c2f778 into main Sep 28, 2025
93 checks passed
@ednolan ednolan deleted the enolan_precommitfile3 branch September 28, 2025 03:12
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