CI TEST

[LuigiGiuffrida98]

Description

This PR aims to setup a basic CI for the development of len5 core.

Two jobs are added:

1. format-lint EXECUTED ON EVERY PUSH (execute make lint && make format) runs the linting and formatting of the code
2. sanity-check EXECUTED ONLY ON PRs (execute make check) runs the simulation of the test applications and compares the trace with SPIKE simulation

The CI is run on github runners with the len5-docker-ci.

⚠️ To avoid the execution of the sanity check on WIP PR set them as draft, then, when they are ready mark them as ready (this will reduce a bit the carbon footprint of github servers ❤️ 🍃 and most importantly will reduce the amount of emails received by our beloved maintainers 👨‍💻 👩‍💻 ❤️)

Status

Waiting for fixes and update to the SPIKE simulation flow to merge, at the current state the CI is up and running fine

TODO

• Setup the CI scripts
• Protect the main branch? (@StMiky you decide)
• Update the README and the CONTRIBUTING guidelines
• Lint and format should produce a new commit? (@StMiky you decide)
• The individual checks are executed as sub-steps of the sanity check job to have a more useful and informative output on github actions page

Funny/good to have TODO

• Add badges in the readme according to CI results

[StMiky]

To be merged after the Spike check overhaul by @mattiamirigaldi .