merge queue: embarking main (e5f0016) and [#82 + #137 + #138 + #139] together

[mergify]

⏳ The pull requests [#82 + #137 + #138 + #139] are embarked for merge and currently being checked. ⏳

Branch main (e5f0016) and [#82 + #137 + #138 + #139] are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of [#82 + #137 + #138 + #139].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

• check-success=buildbot/nix-build
• any of [🛡 GitHub repository ruleset rule]:
  • check-neutral = buildbot/nix-build
  • check-skipped = buildbot/nix-build
  • check-success = buildbot/nix-build

Required conditions to stay in the queue:

• any of [🛡 GitHub repository ruleset rule]:
  • check-success = buildbot/nix-build
    • chore(deps): update rust crate cc to v1.1.13 #82
    • Bump log from 0.4.25 to 0.4.26 #137
    • Bump cc from 1.2.14 to 1.2.15 #138
    • Bump tempfile from 3.17.0 to 3.17.1 #139
  • check-neutral = buildbot/nix-build
    • chore(deps): update rust crate cc to v1.1.13 #82
    • Bump log from 0.4.25 to 0.4.26 #137
    • Bump cc from 1.2.14 to 1.2.15 #138
    • Bump tempfile from 3.17.0 to 3.17.1 #139
  • check-skipped = buildbot/nix-build
    • chore(deps): update rust crate cc to v1.1.13 #82
    • Bump log from 0.4.25 to 0.4.26 #137
    • Bump cc from 1.2.14 to 1.2.15 #138
    • Bump tempfile from 3.17.0 to 3.17.1 #139

---
previous_failed_batches: []
pull_requests:
  - number: 82
  - number: 137
  - number: 138
  - number: 139
...