Integration tests on CI

[dtebbs]

• Use github actions caching to speed up jobs
• Build linux natively (using caching)
• Launch prover server and run tests that depend on it

[dtebbs]

Potential cache of submodule builds:

1. get-submodule-commits job extract commits of submodules and outputs as variables
2. build job caches the build for each submodule using a key containing the commit

[AntoineRondelet]

@dtebbs is this one still WIP, or shall it be rebased on top of develop and reviewed?

[AntoineRondelet]

I can see that many changes in this PR are not strictly related to caching things on the CI (type parameter renaming, changes in the MiMC gadgets etc) - in fact it looks like CI changes are in minority in this PR.
Let's stick as closely as possible to the "one PR = one thing" in the future, otherwise this is hard to track down what exact changes are brought in by which PR (and makes the releases notes harder to write)

[dtebbs]

@dtebbs is this one still WIP, or shall it be rebased on top of develop and reviewed?

It's still WIP. I was looking at caching the submodule builds (which is a bit more involved than the caching in #341), and apparently there is a possibility that Aleksandr will look at this, so it's shelved for now.

I can see that many changes in this PR are not strictly related to caching things on the CI (type parameter renaming, changes in the MiMC gadgets etc) - in fact it looks like CI changes are in minority in this PR.
Let's stick as closely as possible to the "one PR = one thing" in the future, otherwise this is hard to track down what exact changes are brought in by which PR (and makes the releases notes harder to write)

No intention of doing multiple things - this probably just needs rebasing.

[AntoineRondelet]

I was looking at caching the submodule builds (which is a bit more involved than the caching in #341), and apparently there is a possibility that Aleksandr will look at this, so it's shelved for now.

Got it, thanks

No intention of doing multiple things - this probably just needs rebasing.

Ah, right!

[AntoineRondelet]

LGTM - good to have more tests on the CI, thanks @dtebbs