github workflow: microsoft-prod-Repo aus apt-sources-Liste entfernen
Workaround: Da gibt es im Moment wohl ein Problem mit unsignierten Dateien.Das verhindert dann das Durchlaufen des workflows.
github workflow: microsoft-prod-Repo aus apt-sources-Liste entfernen
Workaround: Da gibt es im Moment wohl ein Problem mit unsignierten Dateien.
Das verhindert dann das Durchlaufen des workflows.