introduce new kind of ci

This commit is contained in:
Michael Jerger 2023-08-08 09:20:41 +02:00
parent a8b8c4e4db
commit 3a82fc707b