Update CI (backport #71)

[mergify]

Description

This PR aims to update the CI structure for the repository.

Main changes

• Remove coverage from nightly.yaml
• Update docker images and distributions
• Add lyrical in the matrix of the nightly CI
• Bump version of the CI actions

  ---

  This is an automatic backport of pull request Update CI #71 done by Mergify.

[mergify]

Cherry-pick of 383fc6d has failed:

On branch mergify/bp/kilted/pr-71
Your branch is up to date with 'origin/kilted'.

You are currently cherry-picking commit 383fc6d.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
	modified:   .github/workflows/ci.yml

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/nightly.yml

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

[mergify]

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

• Queue this pull request

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.06%. Comparing base (62763fb) to head (28de8c1).

Additional details and impacted files

@@             Coverage Diff             @@
##           kilted      #72       +/-   ##
===========================================
+ Coverage   59.43%   80.06%   +20.62%     
===========================================
  Files          50        2       -48     
  Lines        5350      311     -5039     
  Branches     2320       77     -2243     
===========================================
- Hits         3180      249     -2931     
+ Misses        670       48      -622     
+ Partials     1500       14     -1486     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.