Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 12, 2025

Bumps rui314/setup-mold from e16410e7f8d9e167b74ad5697a9089a35126eb50 to 725a8794d15fc7563f59595bd9556495c0564878.

Commits
  • 725a879 Update default version to 2.40.4
  • 7344740 Update default version to 2.40.3
  • 702b190 Update default version to 2.40.2
  • 85c79d0 Update default version to 2.40.1
  • b395809 Update default version to 2.40.0
  • 67424c1 Update default version to 2.39.1
  • ba490a9 Update default version to 2.39.0
  • 62ef504 Update default version to 2.38.1
  • 45c2b08 Update default version to 2.38.0
  • See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [rui314/setup-mold](https://github.com/rui314/setup-mold) from e16410e7f8d9e167b74ad5697a9089a35126eb50 to 725a8794d15fc7563f59595bd9556495c0564878.
- [Commits](rui314/setup-mold@e16410e...725a879)

---
updated-dependencies:
- dependency-name: rui314/setup-mold
  dependency-version: 725a8794d15fc7563f59595bd9556495c0564878
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Nov 12, 2025
@github-actions
Copy link
Contributor

Commit: 7328c27

SP1 Execution Results

program cycles success
fibonacci 1,189
sha2_chain 8,032
schnorr_sig_verify 4,435,807
groth16_verify_sp1 10,363,813
groth16_verify_risc0 162,795,473

RISC0 Execution Results

program cycles success
fibonacci 3,694
sha2_chain 9,894
schnorr_sig_verify 4,470,687
groth16_verify_sp1 49,049,811
groth16_verify_risc0 163,016,787

Copy link
Member

@storopoli storopoli left a comment

Choose a reason for hiding this comment

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

ACK 6cbe8f2

@storopoli storopoli added this pull request to the merge queue Dec 1, 2025
Merged via the queue into main with commit a34e059 Dec 1, 2025
13 checks passed
@dependabot dependabot bot deleted the dependabot/github_actions/rui314/setup-mold-725a8794d15fc7563f59595bd9556495c0564878 branch December 1, 2025 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants