Skip to content

ci: cleanup to avoid useless execution#1959

Merged
fpistm merged 2 commits intostm32duino:mainfrom
fpistm:ci_cleanup
Feb 28, 2023
Merged

ci: cleanup to avoid useless execution#1959
fpistm merged 2 commits intostm32duino:mainfrom
fpistm:ci_cleanup

Commits

Commits on Feb 28, 2023