Skip to content

FIX attempt at fixing broken GH workflow#353

Merged
adrinjalali merged 2 commits intoskops-dev:mainfrom
BenjaminBossan:bugfix-try-fixing-gh-workflow
May 4, 2023
Merged

FIX attempt at fixing broken GH workflow#353
adrinjalali merged 2 commits intoskops-dev:mainfrom
BenjaminBossan:bugfix-try-fixing-gh-workflow

Commits

Commits on May 3, 2023