Github Actions - general ideas

[dimitre]

https://github.com/actions/cache
maybe using it for downloading libs? I think this can shave some time off actions.

[dimitre]

Any downside of updating Ubuntu version on actions? like 20.04 or 22.04 @ofTheo ?

[ofTheo]

@dimitre - oh yeah, def worth trying. 👍
It should be fine now we've fixed a few things with the install_dependencies script.

I think 18.04 is getting dropped soon from the CI - so we'll need to do it sooner or later

[dimitre]

I've tested using this for apt packages and it seems great
https://github.com/marketplace/actions/cache-apt-packages
they use a fast internal mirror for apt packages so it is fast to install, and cache some files between builds too.

• Actions : Trying newer Ubuntu #7120

[dimitre]

Other idea here: if we use something like this

concurrency:
  group: environment-${{ github.ref }}
  cancel-in-progress: true

pushing a new commit to a PR cancels the previous actions.