Skip to content

ci: Update infrastructure repository on release#18

Merged
PedroChaparro merged 1 commit intodevfrom ci/#17-update-infrastructure-repository-on-releaseJan 30, 2024

Commits

Commits on Jan 30, 2024