Gunter Labes 870bd71521
Make map diff workflow ignore errors
It's not really a check but a support feature. Errors can still be seen when looking at the workflow run.
2022-12-14 09:37:09 +01:00
..