Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove --nworkers #2759

Merged
merged 3 commits into from
Oct 18, 2023
Merged

Remove --nworkers #2759

merged 3 commits into from
Oct 18, 2023

Conversation

thpani
Copy link
Collaborator

@thpani thpani commented Oct 17, 2023

--nworkers was introduced to support the parallel checker, which is currently not planned:
#2275 (comment)

Thus, drop it.

Closes #2276

  • Tests added for any new code
  • Ran make fmt-fix (or had formatting run automatically on all files edited)
  • Documentation added for any new functionality
  • Entries added to ./unreleased/ for any new functionality

@codecov-commenter
Copy link

codecov-commenter commented Oct 17, 2023

Codecov Report

Merging #2759 (d697805) into main (16b040d) will increase coverage by 0.05%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2759      +/-   ##
==========================================
+ Coverage   78.79%   78.84%   +0.04%     
==========================================
  Files         464      464              
  Lines       15884    15879       -5     
  Branches     2559     2589      +30     
==========================================
+ Hits        12516    12520       +4     
+ Misses       3368     3359       -9     
Files Coverage Δ
...ala/at/forsyte/apalache/infra/passes/options.scala 44.87% <ø> (-0.36%) ⬇️
...at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala 0.00% <ø> (ø)
.../at/forsyte/apalache/tla/tooling/opt/TestCmd.scala 0.00% <ø> (ø)
...ache/tla/bmcmt/passes/BoundedCheckerPassImpl.scala 71.42% <ø> (ø)

... and 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@thpani thpani enabled auto-merge (squash) October 17, 2023 14:29
@thpani thpani merged commit 9d7a760 into main Oct 18, 2023
10 checks passed
@shonfeder shonfeder deleted the th/drop-nworkers branch October 23, 2023 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove nworkers option
3 participants