This repository has been archived by the owner on May 8, 2024. It is now read-only.

Adds GitHub workflow#8

Merged

JenSeReal merged 21 commits intomainfrom adds-github-workflow

Apr 15, 2024

+66-2

Commits on Apr 12, 2024

adds github workflow
Jens Plüddemann
committed
somehow the env is not recognized
Jens Plüddemann
committed
somehow the env is not recognized
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
wrong id in needed
Jens Plüddemann
committed
two platforms
Jens Plüddemann
committed
adjusted tags
Jens Plüddemann
committed