Joachim Van Herwegen 648ce1fba8 chore: Remove Docker arm builds
These are failing to build due to other issues.
This way at least we still have the default build.
2024-01-04 10:33:09 +01:00
..
2024-01-04 10:33:09 +01:00