Improve CI builds

[ziotom78]

• [X] Skip CI builds when 'skip ci' is present in the commit message
• [X] Avoid making julia nightly fail a CI build

[codecov[bot]]

Codecov Report

Merging #89 (4043b71) into master (8f48dec) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #89   +/-   ##
=======================================
  Coverage   87.43%   87.43%           
=======================================
  Files          19       19           
  Lines        1154     1154           
=======================================
  Hits         1009     1009           
  Misses        145      145           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ziotom78]

@giordano , do you have any hint about how to avoid marking the CI build as «failed» if there is just a timeout on julia nightly? This is happening almost always, and I find it very frustrating and annoying!

Should we just drop Julia nightly from the build matrix? I must confess I am tempted, it seems to me we're wasting energy and CPU cycles to run useless jobs.

[giordano]

First of all I'd report it to Julia, better to have it fixed sooner rather than later :slightly_smiling_face: Then, allowing failures in GHA is a bit annoying, it's maybe easier to comment out "nightly" for the time being, and restore it as soon as the bug is fixed.

[ziotom78]

Ok, I opened issue #46736, in the meantime I'll comment out nightly builds.