chore(deps): bump actions/checkout from 6 to 7

[dependabot]

Bumps actions/checkout from 6 to 7.

Release notes

Sourced from actions/checkout's releases.

v7.0.0

What's Changed

• block checking out fork pr for pull_request_target and workflow_run by @​aiqiaoy in actions/checkout#2454
• Bump actions/publish-immutable-action from 0.0.3 to 0.0.4 in the minor-actions-dependencies group across 1 directory by @​dependabot[bot] in actions/checkout#2458
• Bump flatted from 3.3.1 to 3.4.2 by @​dependabot[bot] in actions/checkout#2460
• Bump js-yaml from 4.1.0 to 4.2.0 by @​dependabot[bot] in actions/checkout#2461
• Bump @​actions/core and @​actions/tool-cache and Remove uuid by @​dependabot[bot] in actions/checkout#2459
• upgrade module to esm and update dependencies by @​aiqiaoy in actions/checkout#2463
• Bump the minor-npm-dependencies group across 1 directory with 3 updates by @​dependabot[bot] in actions/checkout#2462
• getting ready for checkout v7 release by @​aiqiaoy in actions/checkout#2464
• update error wording by @​aiqiaoy in actions/checkout#2467

New Contributors

• @​aiqiaoy made their first contribution in actions/checkout#2454

Full Changelog: actions/checkout@v6.0.3...v7.0.0

v6.0.3

What's Changed

• Update changelog by @​ericsciple in actions/checkout#2357
• fix: expand merge commit SHA regex and add SHA-256 test cases by @​yaananth in actions/checkout#2414
• Fix checkout init for SHA-256 repositories by @​yaananth in actions/checkout#2439
• Update changelog for v6.0.3 by @​yaananth in actions/checkout#2446

New Contributors

• @​yaananth made their first contribution in actions/checkout#2414

Full Changelog: actions/checkout@v6...v6.0.3

v6.0.2

What's Changed

• Add orchestration_id to git user-agent when ACTIONS_ORCHESTRATION_ID is set by @​TingluoHuang in actions/checkout#2355
• Fix tag handling: preserve annotations and explicit fetch-tags by @​ericsciple in actions/checkout#2356

Full Changelog: actions/checkout@v6.0.1...v6.0.2

v6.0.1

What's Changed

• Update all references from v5 and v4 to v6 by @​ericsciple in actions/checkout#2314
• Add worktree support for persist-credentials includeIf by @​ericsciple in actions/checkout#2327
• Clarify v6 README by @​ericsciple in actions/checkout#2328

Full Changelog: actions/checkout@v6...v6.0.1

Changelog

Sourced from actions/checkout's changelog.

Changelog

v7.0.0

• Block checking out fork PR for pull_request_target and workflow_run by @​aiqiaoy in actions/checkout#2454
• Bump actions/publish-immutable-action from 0.0.3 to 0.0.4 in the minor-actions-dependencies group across 1 directory by @​dependabot[bot] in actions/checkout#2458
• Bump flatted from 3.3.1 to 3.4.2 by @​dependabot[bot] in actions/checkout#2460
• Bump js-yaml from 4.1.0 to 4.2.0 by @​dependabot[bot] in actions/checkout#2461
• Bump @​actions/core and @​actions/tool-cache and Remove uuid by @​dependabot[bot] in actions/checkout#2459
• upgrade module to esm and update dependencies by @​aiqiaoy in actions/checkout#2463
• Bump the minor-npm-dependencies group across 1 directory with 3 updates by @​dependabot[bot] in actions/checkout#2462

v6.0.3

• Fix checkout init for SHA-256 repositories by @​yaananth in actions/checkout#2439
• fix: expand merge commit SHA regex and add SHA-256 test cases by @​yaananth in actions/checkout#2414

v6.0.2

• Fix tag handling: preserve annotations and explicit fetch-tags by @​ericsciple in actions/checkout#2356

v6.0.1

• Add worktree support for persist-credentials includeIf by @​ericsciple in actions/checkout#2327

v6.0.0

• Persist creds to a separate file by @​ericsciple in actions/checkout#2286
• Update README to include Node.js 24 support details and requirements by @​salmanmkc in actions/checkout#2248

v5.0.1

• Port v6 cleanup to v5 by @​ericsciple in actions/checkout#2301

v5.0.0

• Update actions checkout to use node 24 by @​salmanmkc in actions/checkout#2226

v4.3.1

• Port v6 cleanup to v4 by @​ericsciple in actions/checkout#2305

v4.3.0

• docs: update README.md by @​motss in actions/checkout#1971
• Add internal repos for checking out multiple repositories by @​mouismail in actions/checkout#1977
• Documentation update - add recommended permissions to Readme by @​benwells in actions/checkout#2043
• Adjust positioning of user email note and permissions heading by @​joshmgross in actions/checkout#2044
• Update README.md by @​nebuk89 in actions/checkout#2194
• Update CODEOWNERS for actions by @​TingluoHuang in actions/checkout#2224
• Update package dependencies by @​salmanmkc in actions/checkout#2236

v4.2.2

• url-helper.ts now leverages well-known environment variables by @​jww3 in actions/checkout#1941
• Expand unit test coverage for isGhes by @​jww3 in actions/checkout#1946

v4.2.1

• Check out other refs/* by commit if provided, fall back to ref by @​orhantoy in actions/checkout#1924

... (truncated)

Commits

• 9c091bb update error wording (#2467)
• 1044a6d getting ready for checkout v7 release (#2464)
• f028218 Bump the minor-npm-dependencies group across 1 directory with 3 updates (#2462)
• d914b26 upgrade module to esm and update dependencies (#2463)
• 537c7ef Bump @​actions/core and @​actions/tool-cache and Remove uuid (#2459)
• 130a169 Bump js-yaml from 4.1.0 to 4.2.0 (#2461)
• 7d09575 Bump flatted from 3.3.1 to 3.4.2 (#2460)
• 0f9f3aa Bump actions/publish-immutable-action (#2458)
• f9e715a block checking out fork pr for pull_request_target and workflow_run (#2454)
• See full diff in compare view

[Alizter]

@copilot Explain the consequences of this PR

[Copilot]

@copilot Explain the consequences of this PR

This PR updates actions/checkout from v6 to v7 across all 13 CI workflow files (.github/workflows/*.yml).

Key change in v7 (the only breaking change):

• Security fix: v7 blocks checking out fork PRs for pull_request_target and workflow_run triggers. This closes a known vulnerability where a malicious fork PR could gain access to repository secrets in pull_request_target workflows.

Practical impact on this repo:

• For normal CI usage (checkout on push/PR), behaviour is identical — no functional difference.
• If any workflow uses pull_request_target or workflow_run and attempts to check out untrusted fork code, it would now be blocked. A quick scan of the workflow files shows none of them combine pull_request_target/workflow_run with a fork-branch checkout, so this breaking change does not affect this repo in practice.
• The rest of the v7 changes are internal dependency bumps and a module system upgrade (ESM), which are invisible to callers.

In summary: this is a safe, routine update with no functional impact on dune's CI pipelines, and it brings a security hardening benefit as a bonus.

[Alizter]

@copilot fix this PR so that its updating the .in workflows too.

[Copilot]

@copilot fix this PR so that its updating the .in workflows too.

I've updated both .in template files locally, but this is a dependabot branch and GitHub Actions doesn't have write access to push the changes.

The fix is straightforward — in both files, replace every occurrence of actions/checkout@v6 with actions/checkout@v7:

• .github/workflows/bench.yml.in (1 occurrence, line 30)
• .github/workflows/workflow.yml.in (18 occurrences)

You can apply this with:

sed -i 's|actions/checkout@v6|actions/checkout@v7|g' .github/workflows/bench.yml.in .github/workflows/workflow.yml.in

and push to this branch directly, or close this PR and open a new one that includes the .in files.

[Alizter]

@copilot What do you mean you don't have access? How did you push in #15280??!

[Copilot]

@copilot What do you mean you don't have access? How did you push in #15280??!

PR #15280 was on a branch owned by the repo (not dependabot), so the push succeeded there. This branch (dependabot/github_actions/actions/checkout-7) is owned by dependabot, and GitHub enforces that only dependabot itself can push to its own branches — github-actions[bot] gets a 403 regardless of repo permissions.

The workaround is to either:

1. Push to this branch directly yourself with sed -i 's|actions/checkout@v6|actions/checkout@v7|g' .github/workflows/bench.yml.in .github/workflows/workflow.yml.in
2. Comment @dependabot recreate to have dependabot regenerate the PR (it won't fix the .in files since dependabot doesn't know about them)
3. Close this PR and open a manual one that covers both the .yml and .in files

[Alizter]

@copilot @dependabot Thanks, this is stupid. Please stop wasting our time.

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.