Skip to content

ci: Update infrastructure repository on release#193

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

Commits

Commits on Jan 30, 2024