Skip to content

Pin dependencies#671

Closed
renovate[bot] wants to merge 1 commit intomasterfrom
renovate/pin-dependencies
Closed

Pin dependencies#671
renovate[bot] wants to merge 1 commit intomasterfrom
renovate/pin-dependencies

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Nov 4, 2025

This PR contains the following updates:

Package Type Update Change
cachix/install-nix-action action pinDigest 08dcb3a
sean0x42/markdown-extract action pinDigest 4178293
tweag/configure-bazel-remote-cache-auth action pinDigest 144b0b9
tweag/run-nix-shell action pinDigest 5d825ec

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.


Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot requested a review from a team as a code owner November 4, 2025 20:12
@renovate renovate Bot added the merge-queue merge on green CI label Nov 4, 2025
@renovate renovate Bot changed the title chore(deps): pin dependencies Pin dependencies Apr 7, 2026
@renovate renovate Bot force-pushed the renovate/pin-dependencies branch from b98e570 to ef7c66d Compare April 7, 2026 16:59
@renovate renovate Bot changed the title Pin dependencies chore(deps): pin dependencies Apr 7, 2026
@renovate renovate Bot changed the title chore(deps): pin dependencies Pin dependencies Apr 8, 2026
@renovate renovate Bot force-pushed the renovate/pin-dependencies branch from ef7c66d to de373ca Compare April 8, 2026 20:33
@tweag-ev-ak tweag-ev-ak closed this Apr 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-queue merge on green CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant