Skip to content

ci: update github actions to avoid deprecation warnings#657

Merged
JoanFM merged 2 commits into
mainfrom
ci-remove-deprecation-warnings
Oct 20, 2022
Merged

ci: update github actions to avoid deprecation warnings#657
JoanFM merged 2 commits into
mainfrom
ci-remove-deprecation-warnings

Commits

Commits on Oct 20, 2022