Skip to content

Backport #12078: Bump to semaphore-compat 2.0.1#12093

Merged
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12078
Jul 6, 2026
Merged

Backport #12078: Bump to semaphore-compat 2.0.1#12093
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12078

Conversation

@mergify

@mergify mergify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

semaphore-compat-2.0.1 fixes a number of bugs in the semaphore-compat-2.0.0 implementation,
including some critical fixes on darwin, where semaphore-compat-2.0.0 was quite broken.


This is an automatic backport of pull request #12078 done by [Mergify](https://mergify.com).

`semaphore-compat-2.0.1` fixes a number of bugs in the `semaphore-compat-2.0.0` implementation,
including some critical fixes on darwin, where `semaphore-compat-2.0.0` was quite broken.

(cherry picked from commit 68591ad)
@mergify mergify Bot mentioned this pull request Jul 6, 2026
6 tasks
@mergify mergify Bot added the backport label Jul 6, 2026
@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Jul 6, 2026
@mergify mergify Bot added the queued label Jul 6, 2026
@mergify

mergify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

  • Entered queue2026-07-06 12:48 UTC · Rule: default · triggered by rule Put backports in the rebase+merge queue
  • Checks skipped · PR is already up-to-date
  • Merged2026-07-06 12:58 UTC · at a264d410c47c70310aceb5198d9f684feee08615 · merge

This pull request spent 10 minutes 35 seconds in the queue, including 5 seconds running CI.

Required conditions to merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

@mergify mergify Bot merged commit 97dc8dd into 3.18 Jul 6, 2026
89 of 93 checks passed
@mergify mergify Bot deleted the mergify/bp/3.18/pr-12078 branch July 6, 2026 12:58
@mergify mergify Bot removed the queued label Jul 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants