Skip to content

Bump to semaphore-compat 2.0.1#12078

Merged
mergify[bot] merged 2 commits into
masterfrom
wip/semaphore-compat-2.0.1
Jul 3, 2026
Merged

Bump to semaphore-compat 2.0.1#12078
mergify[bot] merged 2 commits into
masterfrom
wip/semaphore-compat-2.0.1

Conversation

@wz1000

@wz1000 wz1000 commented Jul 3, 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.

`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.

@Mikolaj Mikolaj left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you.

@Bodigrim Bodigrim added merge me Tell Mergify Bot to merge priority: high 🔥 labels Jul 3, 2026
@mergify mergify Bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Jul 3, 2026
@Bodigrim

Bodigrim commented Jul 3, 2026

Copy link
Copy Markdown
Collaborator

Given that this has to be backported and that it affects changelogs, let's fast track it.

@mergify mergify Bot added the queued label Jul 3, 2026
@mergify

mergify Bot commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • Entered queue2026-07-03 21:25 UTC · Rule: default · triggered by rule Put pull requests in the rebase+merge queue
  • Checks skipped · PR is already up-to-date
  • Merged2026-07-03 21:36 UTC · at e7146e3d65015532aa91d96ebcd82c06c2590aab · merge

This pull request spent 10 minutes 38 seconds in the queue, including 2 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 = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • 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 = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • 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 ac1ff62 into master Jul 3, 2026
78 checks passed
@mergify mergify Bot deleted the wip/semaphore-compat-2.0.1 branch July 3, 2026 21:36
@mergify mergify Bot removed the queued label Jul 3, 2026
@Mikolaj

Mikolaj commented Jul 6, 2026

Copy link
Copy Markdown
Member

@mergify backport 3.18

@mergify

mergify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

backport 3.18

✅ Backports have been created

Details

mergify Bot added a commit that referenced this pull request Jul 6, 2026
Backport #12078: Bump to semaphore-compat 2.0.1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge priority: high 🔥 re: semaphores

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants