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

Update actions/setup-python action to v5 #4781

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Dec 6, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change
actions/setup-python action major v4 -> v5

Release Notes

actions/setup-python (actions/setup-python)

v5

Compare Source


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

Copy link

changeset-bot bot commented Dec 6, 2023

⚠️ No Changeset found

Latest commit: 0c1b6c6

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@ernestognw ernestognw mentioned this pull request Jan 10, 2024
@ernestognw ernestognw added the formal-verification Enable FV run in a PR. label Jan 11, 2024
@ernestognw
Copy link
Member

The only change seems to be that the runtime was upgraded to node 20:

https://github.com/actions/setup-python/releases/tag/v5.0.0

Should be fine since we're also specifying the correct python version we're expecting. I'm just runnign FV to see if there's an issue.

Copy link
Collaborator

@Amxx Amxx left a comment

Choose a reason for hiding this comment

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

If its good with @ernestognw than its also good with me.

@ernestognw
Copy link
Member

The FV didn't run. Apparently there's something going on with the patch. I'll check after reviewing #4824

@Amxx
Copy link
Collaborator

Amxx commented Jan 12, 2024

The FV didn't run. Apparently there's something going on with the patch. I'll check after reviewing #4824

It did not really:

Warning: No specs requested. Did you forgot to toggle '--all'?

On PR, only the specs that have been modified are running.
All the specs are running on master

Copy link
Contributor Author

renovate bot commented Jan 17, 2024

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants