10000 [ workflow ] Allow a newer PATCH version for `cancel-workflow-action` by L-TChen · Pull Request #7074 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[ workflow ] Allow a newer PATCH version for cancel-workflow-action #7074

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jan 30, 2024
Merged

[ workflow ] Allow a newer PATCH version for cancel-workflow-action #7074

merged 1 commit into from
Jan 30, 2024

Conversation

L-TChen
Copy link
Member
@L-TChen L-TChen commented Jan 30, 2024

#7073 suggests to update styfle/cancel-workflow-action to 0.12.1 in .github/workflows/*.yml, but we actually need to update src/github/workflows/*.yml.

@L-TChen L-TChen added not-in-changelog This issue should not be listed in the changelog. dependencies Pull requests that update a dependency file labels Jan 30, 2024
@L-TChen L-TChen mentioned this pull request Jan 30, 2024
Closed
@L-TChen L-TChen merged commit 04b9cd1 into agda:master Jan 30, 2024
andreasabel
andreasabel reviewed Jan 30, 2024
View reviewed changes
Copy link
Member
@andreasabel andreasabel left a comment

Choose a reason for hiding this comment

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

Thanks!

@andreasabel andreasabel added this to the 2.6.4.2 milestone Jan 30, 2024
@L-TChen L-TChen changed the title [ workflow ] Allow any newer PATCH version for cancel-workflow-action [ workflow ] Allow a newer PATCH version for cancel-workflow-action Jan 30, 2024
@L-TChen
Copy link
Member Author
L-TChen commented Jan 31, 2024

By the way, the git comment is not correct. I thought GitHub would fetch the latest PATCH version if the PATCH number in MAJOR.MINOR.PATCH is ignored as we can specify the MAJOR number only.

@L-TChen L-TChen deleted the update-cancel-workflow branch January 31, 2024 05:14
@andreasabel andreasabel mentioned this pull request Feb 7, 2024
Closed
@andreasabel andreasabel modified the milestones: 2.6.5, 2.6.4.2 Feb 8, 2024
@andreasabel andreasabel self-assigned this Feb 8, 2024
andreasabel pushed a commit that referenced this pull request Feb 8, 2024
@L-TChen @andreasabel
[ workflow ] Allow any newer PATCH version for `cancel-workflow-actio…
6c9fef1 
…n` (#7074)
@andreasabel andreasabel mentioned this pull request Feb 8, 2024
Closed
3 tasks
VitalyAnkh pushed a commit to VitalyAnkh/agda that referenced this pull request Mar 5, 2024
@L-TChen @VitalyAnkh
[ workflow ] Allow any newer PATCH version for `cancel-workflow-actio…
b1c8130 
…n` (agda#7074)
JobPetrovcic pushed a commit to JobPetrovcic/agda that referenced this pull request Apr 12, 2024
@L-TChen @JobPetrovcic
[ workflow ] Allow any newer PATCH version for `cancel-workflow-actio…
a086033 
…n` (agda#7074)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@andreasabel andreasabel andreasabel left review comments

Assignees

@andreasabel andreasabel

Labels
dependencies Pull requests that update a dependency file not-in-changelog This issue should not be listed in the changelog.
Projects
None yet
Milestone
2.6.4.2
Development

Successfully merging this pull request may close these issues.
2 participants
@L-TChen @andreasabel
0