Skip to content

CI tweaks#360

Merged
guelfey merged 2 commits intomasterfrom
feat/ci_tweaks
Apr 8, 2023
Merged

CI tweaks#360
guelfey merged 2 commits intomasterfrom
feat/ci_tweaks

Conversation

@guelfey
Copy link
Member

@guelfey guelfey commented Apr 8, 2023

No description provided.

@guelfey guelfey self-assigned this Apr 8, 2023
@guelfey guelfey changed the title ci: reduce permissions CI tweaks Apr 8, 2023
@guelfey guelfey merged commit d10fea1 into master Apr 8, 2023
@guelfey guelfey deleted the feat/ci_tweaks branch April 8, 2023 11:16
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