Merge develop into main for small CI workflow improvements

[dariopellegrino00]

Merge develop into main for small CI workflow improvements

[Copilot]

Pull Request Overview

Updates GitHub Actions workflow configurations to improve CI efficiency by removing redundant build triggers on the main branch, acknowledging that code is only pushed directly to the develop branch. Also updates README badges to reflect the new separated workflow structure.

• Removes push triggers on main branch from both build and code-checks workflows
• Updates README badges to reference separate build.yml and code-checks.yml workflows
• Changes badge style from flat-square to flat for consistency

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

File	Description
README.md	Updates workflow badges to reference separated workflows and adjusts badge styling
.github/workflows/code-checks.yml	Removes main branch from push triggers with explanatory comment
.github/workflows/build.yml	Removes main branch from push triggers with explanatory comment

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}