Skip to content

Conversation

@lucacome
Copy link
Contributor

@lucacome lucacome commented Nov 2, 2023

Proposed changes

Adds a missing checkout step in the workflow

@lucacome lucacome requested a review from a team as a code owner November 2, 2023 00:15
@github-actions github-actions bot added the chore Pull requests for routine tasks label Nov 2, 2023
@lucacome lucacome force-pushed the chore/add-missing-checkout branch from e4957b8 to 0c5aca8 Compare November 2, 2023 00:20
@lucacome lucacome self-assigned this Nov 2, 2023
@pdabelf5 pdabelf5 merged commit 47db57a into main Dec 11, 2023
@pdabelf5 pdabelf5 deleted the chore/add-missing-checkout branch December 11, 2023 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants