merge queue: embarking main (7301172) and [#1785 + #1907] together

[mergify]

🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉

Branch main (7301172) and [#1785 + #1907] are embarked together for merge.

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

Required conditions of queue rule bot-updates for merge:

• all of:
  • check-success=buildbot/nix-build
  • check-success=buildbot/nix-effects
  • check-success=buildbot/nix-eval

Required conditions to stay in the queue:

• -conflict
  • Update astro monorepo #1785
  • Update cachix/install-nix-action digest to ab73962 #1907

---
checking_base_sha: 7301172281267ed0aa337a4629185ca23eeb70ca
previous_failed_batches: []
pull_requests:
  - number: 1785
    scopes: []
  - number: 1907
    scopes: []
scopes: []
...