Skip to content

CI: remove unused tasks; rename resources; use ghcr.io#56

Merged
mkocher merged 1 commit into
masterfrom
ci-cleanup
Mar 11, 2026
Merged

CI: remove unused tasks; rename resources; use ghcr.io#56
mkocher merged 1 commit into
masterfrom
ci-cleanup

CI: remove unused tasks; rename resources; use ghcr.io

7144fe4
Select commit
Loading
Failed to load commit list.

There are no checks for this commit