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

Use new checkout version #712

Merged

bdmendes merged 1 commit into develop from ci/update-checkout

Feb 13, 2023

Member

bdmendes commented Feb 13, 2023

Updating the checkout action plugin to remove the deprecated warning.

Review checklist

Terms and conditions reflect the current change
Contains enough appropriate tests
If aimed at production, writes a new summary in whatsnew/whatsnew-pt-PT
Properly adds an entry in changelog.md with the change
If PR includes UI updates/additions, its description has screenshots
Behavior is as expected
Clean, well-structured code


          Use new checkout version

1b834c0

bdmendes merged commit 7632f6a into develop

bdmendes deleted the ci/update-checkout branch

February 13, 2023 11:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet