Github messed up the CI

This commit is contained in:
pancake 2022-04-13 00:32:42 +02:00
parent fe6879c905
commit d3c7a5b2fa