`main` and `develop` branch are not in sync anymore due to direct commits to the `main` branch

Created by: lecegues

Due to direct commits to the main branch, develop and main are now out of sync. Only 1 file is out of sync (.github/workflows/main.yml)