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

Chore: update GitHub Actions #12984

Merged
merged 1 commit into from Mar 9, 2020
Merged

Chore: update GitHub Actions #12984

merged 1 commit into from Mar 9, 2020

Conversation

g-plane
Copy link
Member

@g-plane g-plane commented Feb 29, 2020

Prerequisites checklist

  • I have read the contributing guidelines.
  • The team has reached consensus on the changes proposed in this pull request. If not, I understand that the evaluation process will begin with this pull request and won't be merged until the team has reached consensus.

What is the purpose of this pull request? (put an "X" next to an item)

[x] Other

What changes did you make? (Give an overview)

Updated the version of Action actions/checkout. Here are more about the changes.

@g-plane g-plane added the chore This change is not user-facing label Feb 29, 2020
@nzakas nzakas merged commit 26267ed into master Mar 9, 2020
@nzakas nzakas deleted the update-actions branch March 9, 2020 23:46
anikethsaha pushed a commit to anikethsaha/eslint that referenced this pull request Mar 11, 2020
@eslint-deprecated eslint-deprecated bot locked and limited conversation to collaborators Sep 7, 2020
@eslint-deprecated eslint-deprecated bot added the archived due to age This issue has been archived; please open a new issue for any further discussion label Sep 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
archived due to age This issue has been archived; please open a new issue for any further discussion chore This change is not user-facing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants