Skip to content
Snippets Groups Projects

BUGFIX: revert pool termination

Merged BUGFIX: revert pool termination
revert-pool-terminate into master
Merged Colm Talbot requested to merge revert-pool-terminate into master

!1284 (merged) broke the ability to interrupt samplers. This MR reverts that.

Merge request reports

Pipeline #578570 passed

Stage: initial
Stage: test
Stage: docs

Pipeline passed for ac93fb5a on revert-pool-terminate

Test coverage 69.00% (0.00%) from 1 job
Approval is optional

Merged by Colm TalbotColm Talbot 1 year ago (Nov 29, 2023 8:55pm UTC)

Merge details

  • Changes merged into master with ac93fb5a (commits were squashed).
  • Deleted the source branch.

Pipeline #579904 failed

Stage: initial
Stage: test
Stage: docs
Stage: deploy

Pipeline failed for ac93fb5a on master

Test coverage 69.00% (0.00%) from 1 job

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply