Skip to content

ci: update permissions in actions#233

Merged
DavidDeSloovere merged 2 commits intomainfrom
DavidDeSloovere-patch-1
Dec 28, 2023
Merged

ci: update permissions in actions#233
DavidDeSloovere merged 2 commits intomainfrom
DavidDeSloovere-patch-1

Commits

Commits on Dec 28, 2023