Introducing CI actions for testing (with Quartus currently)

[anton-malakhov]

Github actions are enabled for Pull Requests (only, do you want for main branch?). Currently, Quartus 13 & 21 on labs 1-5 for boards 9, 35,40 are used for testing, but this is easily configurable using the following settings in the file:

      matrix:
        include:
          - tool: quartus
            imagerepo: ghcr.io/raetro/quartus
            imagever: 21.1.1
            boards: 9 40
            labs: 12345

• To add a new synthesis tool, please find a docker image and specify it as imagerepo: in a copy of - tool: entry with everything until the next section.
• To change a version of existing tool (e.g. quartus), please find it in a docker repository, e.g. https://ghcr.io/raetro/quartus, and change imagever:
• To change a set of board configurations to test, specify a space-separated list in boards:
• If you want to extend or reduce the number of labs to test, change labs: with a digit of the lab, e.g. labs: 123 for testing labs 1-3

[yuri-panchul]

Need to discuss this on Sunday