The GitHub workflow also does not reference it anymore, which I forgot to do earlier. Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>