Skip to content

Commit

Permalink
CI: do not artificially restrict parallel test execution
Browse files Browse the repository at this point in the history
For whatever reason, the test job always runs late in a CI run (I am
blaming the max-parallel annotation for this). This leads to longer CI
runs, because, at the end, for several rounds on 6 instances of the
test job are executing. Note that Github starts at most 20 of our
tests in parallel, so it is not our responsibility to ensure that
limit.
  • Loading branch information
hendriktews committed Mar 8, 2024
1 parent e793ac4 commit 9714323
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,9 +38,6 @@ jobs:
- 29.1
- 29.2
# CIPG change marker end
# at most 20 concurrent jobs per free account
# cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
max-parallel: 4
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

Expand Down Expand Up @@ -142,9 +139,6 @@ jobs:
- coq-8.19-emacs-29.1
- coq-8.19-emacs-29.2
# CIPG change marker end
# at most 20 concurrent jobs per free account
# cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
max-parallel: 6
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

Expand Down Expand Up @@ -335,7 +329,6 @@ jobs:
- 29.1
- 29.2
# CIPG change marker end
max-parallel: 4
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

Expand Down Expand Up @@ -371,7 +364,6 @@ jobs:
- 29.1
- 29.2
# CIPG change marker end
max-parallel: 4
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

Expand Down

0 comments on commit 9714323

Please sign in to comment.