What are the reasons/motivation for this change?
nix test builds run on both push and pull request, resuling in duplicated runs for PRs from this repo.
Explain how this is achieved.
Move nix build to extra-builds.yml and use the conditional skipping. This also skips commits that only change docs.
If applicable, please suggest to reviewers how they can test the change.
@RCoeurjoly can you confirm that it is okay to skip these tests if a) a duplicate is already running (e.g. push triggers before pull request) and/or b) only docs files have changed?
What are the reasons/motivation for this change? nix test builds run on both push and pull request, resuling in duplicated runs for PRs from this repo.
Explain how this is achieved. Move nix build to extra-builds.yml and use the conditional skipping. This also skips commits that only change docs.
If applicable, please suggest to reviewers how they can test the change. @RCoeurjoly can you confirm that it is okay to skip these tests if a) a duplicate is already running (e.g. push triggers before pull request) and/or b) only docs files have changed?