Skip to content

Conversation

@frankharkins
Copy link
Member

@frankharkins frankharkins commented Dec 5, 2025

Most notably closes #2883 by replacing all uses of @tj-actions/changed-file with gh pr diff (we decided we didn't need to investigate if we replaced the action).

Also makes a couple of other tweaks:

  • Moves some environment variables to be defined in YML: I think this makes the workflow easier to read because the comments get syntax highlighting, and it's clearer which variables to edit.
  • Fix some of the regexes (😬)
  • Simplifies the extended notebook test: We rarely use this, so when we do I think it's acceptable to run on all files rather than those chaned between main.

@frankharkins frankharkins marked this pull request as ready for review December 8, 2025 13:33
Eric-Arellano
Eric-Arellano previously approved these changes Dec 8, 2025
Copy link
Collaborator

@Eric-Arellano Eric-Arellano left a comment

Choose a reason for hiding this comment

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

Thanks!

@frankharkins frankharkins added this pull request to the merge queue Dec 8, 2025
github-merge-queue bot pushed a commit that referenced this pull request Dec 8, 2025
Most notably closes #2883
by replacing all uses of `@tj-actions/changed-file` with `gh pr diff`
(we decided we didn't need to investigate if we replaced the action).

Also makes a couple of other tweaks:

* Moves some environment variables to be defined in YML: I think this
makes the workflow easier to read because the comments get syntax
highlighting, and it's clearer which variables to edit.
* Fix some of the regexes (😬)
* Simplifies the extended notebook test: We rarely use this, so when we
do I think it's acceptable to run on all files rather than those chaned
between `main`.
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 8, 2025
@frankharkins frankharkins added this pull request to the merge queue Dec 8, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 8, 2025
@frankharkins frankharkins added this pull request to the merge queue Dec 8, 2025
@frankharkins frankharkins removed this pull request from the merge queue due to a manual request Dec 8, 2025
@frankharkins frankharkins added this pull request to the merge queue Dec 9, 2025
Merged via the queue into main with commit dcf883b Dec 9, 2025
5 checks passed
@frankharkins frankharkins deleted the FH/workflow-cleanup branch December 9, 2025 11:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Identify why changed-files GitHub Actions failed

3 participants