Skip to content

update ci#5070

Merged
pmairoldi merged 1 commit intorelease/5.0.0from
update-actions
Jun 8, 2023
Merged

update ci#5070
pmairoldi merged 1 commit intorelease/5.0.0from
update-actions

Conversation

@pmairoldi
Copy link
Collaborator

Update CI actions

@pmairoldi pmairoldi force-pushed the update-actions branch 6 times, most recently from 5c4166e to ded3cdc Compare June 8, 2023 20:08
@pmairoldi pmairoldi added this to the 5.0.0 milestone Jun 8, 2023
@pmairoldi pmairoldi merged commit 284a778 into release/5.0.0 Jun 8, 2023
@pmairoldi pmairoldi deleted the update-actions branch March 4, 2026 05:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant