Repository navigation
build(deps): bump the actions group across 1 directory with 5 updates - #5
Merged
Merged
Conversation
Bumps the actions group with 5 updates in the / directory: | Package | From | To | | --- | --- | --- | | [haskell-actions/setup](https://github.com/haskell-actions/setup) | `2.12.0` | `2.12.1` | | [hyperpolymath/smtp-notify-action](https://github.com/hyperpolymath/smtp-notify-action) | `0.3.0` | `0.5.0` | | [actions/upload-artifact](https://github.com/actions/upload-artifact) | `7.0.1` | `7.0.2` | | [SonarSource/sonarqube-scan-action](https://github.com/sonarsource/sonarqube-scan-action) | `8.2.2` | `8.3.0` | | [actions/download-artifact](https://github.com/actions/download-artifact) | `8.0.1` | `8.0.2` | Updates `haskell-actions/setup` from 2.12.0 to 2.12.1 - [Release notes](https://github.com/haskell-actions/setup/releases) - [Commits](haskell-actions/setup@v2.12.0...v2.12.1) Updates `hyperpolymath/smtp-notify-action` from 0.3.0 to 0.5.0 - [Release notes](https://github.com/hyperpolymath/smtp-notify-action/releases) - [Changelog](https://github.com/hyperpolymath/smtp-notify-action/blob/main/CHANGELOG.adoc) - [Commits](hyperpolymath/smtp-notify-action@v0.3.0...v0.5.0) Updates `actions/upload-artifact` from 7.0.1 to 7.0.2 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](actions/upload-artifact@v7.0.1...v7.0.2) Updates `SonarSource/sonarqube-scan-action` from 8.2.2 to 8.3.0 - [Release notes](https://github.com/sonarsource/sonarqube-scan-action/releases) - [Commits](SonarSource/sonarqube-scan-action@v8.2.2...v8.3.0) Updates `actions/download-artifact` from 8.0.1 to 8.0.2 - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](actions/download-artifact@v8.0.1...v8.0.2) --- updated-dependencies: - dependency-name: haskell-actions/setup dependency-version: 2.12.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: hyperpolymath/smtp-notify-action dependency-version: 0.5.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: actions - dependency-name: actions/upload-artifact dependency-version: 7.0.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: SonarSource/sonarqube-scan-action dependency-version: 8.3.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: actions - dependency-name: actions/download-artifact dependency-version: 8.0.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] <support@github.com>
Contributor
|
Important Review skippedBot user detected. To trigger a single review, invoke the ⚙️ Run configuration
You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
hyperpolymath
approved these changes
Oct 14, 2026
hyperpolymath
deleted the
dependabot/github_actions/actions-f87387f4da
branch
October 14, 2026 10:55
hyperpolymath
pushed a commit
that referenced
this pull request
Oct 14, 2026
#4 merged with five more commits that overlap this branch, and #5 bumped actions. Resolved in favour of the owner-merged content, keeping what main does not yet carry (the mint itself: 87 placeholder files, the template-only paths, provenance): - check-agda.sh: both hardenings. main's `-- EXPECT:` message check and unit-test run, and this branch's rule that the first error must land inside `invalid`. All 8 fixtures, including main's three new ones, pass both on Agda 2.6.3; the unit tests pass. - Deed: clade fv (the owner's answer) and this branch's provenance, variant and rsr-profile; main's phase `active`, ecosystem (library, kernel, chain), anchor kind/domain and unique strength. `:coordination standards` restored (main's ecosystem dropped it). - PROOF-STATUS, CITATION message, CODEOWNERS comment, allowlist lines: main's. The duplicate .agda-lib allowlist entry is dropped. - ROADMAP: the minted stub. main's file was still the template's own journal ("A repo minted from the template does not inherit it"). - actions.lock: main's upload-artifact v7.0.2 plus the cf430e0 record the standards@ae36881 record needs. - CLAUDE.md and the repository map regenerated from the merged tree. main removed #4's hand-appended "Asking the owner" section (6c61289); the rule stays only in the generated estate-common block, per the owner's ruling that it is estate doctrine. Verified on the merged tree: Estate Rules 18/18 steps, all 26 Central Estate Audit gates (cicd-suite 0da816c), the placeholder gate, both lock-sync gates, the arrival-pack check, and scripts/check-agda.sh. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LiQzWJdcPfRU6YMDGRG8Xi
hyperpolymath
pushed a commit
that referenced
this pull request
Oct 14, 2026
…v0.0.3 At ae36881 the Actions lockfile verify job installs gh-actions-lock v0.1.6, which cannot read this lockfile: "lockfile version v0.0.3 is newer than this binary supports (v0.0.2)" (exit 2). Dependabot (#5) regenerates actions.lock as format v0.0.3. Standards main since #1249 pins v0.2.0 and keeps sha-as-ref advisory, so the pins move to 934b879 (standards main, 2026-10-14). Done with standards' propagate-workflow-pins.sh as patched in hyperpolymath/standards#1254, which now relocks actions.lock itself (RELOCKED): the six entries re-keyed, the standards record rebuilt for 934b879, and the two records its reusables newly need (denoland/setup-deno@22d081f v2.0.5, oven-sh/setup-bun@0c5077e v2.2.0) copied from standards' own lock. Both scripts/check-lock-sync.sh and standards main's copy pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LiQzWJdcPfRU6YMDGRG8Xi
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.



Bumps the actions group with 5 updates in the / directory:
2.12.02.12.10.3.00.5.07.0.17.0.28.2.28.3.08.0.18.0.2Updates
haskell-actions/setupfrom 2.12.0 to 2.12.1Release notes
Sourced from haskell-actions/setup's releases.
Commits
0f8e8c9Add Cabal 3.18.1.0 and Stack 3.11.1Updates
hyperpolymath/smtp-notify-actionfrom 0.3.0 to 0.5.0Release notes
Sourced from hyperpolymath/smtp-notify-action's releases.
Changelog
Sourced from hyperpolymath/smtp-notify-action's changelog.
... (truncated)
Commits
c1c9fa0feat(nntp): NNTP posting + unblock the Marketplace listing (needs tag v0.5.0)...7ea6d7adocs(changelog): date v0.4.0 at its actual tag push (#26)170f53aci(secret-scan): canonical estate scanner caller, key scan (D243) (#25)9f3f89fdocs: add Signed commits section to CONTRIBUTING (#24)acd2d3dfix: address CodeRabbit review of #21 — CertificateRequest shape checks, benc...c9b6790fix: CodeRabbit auto-fixes for PR #21 (#22)10f080afix/issue 6 hardening (#21)5574cdcResolve community health, accessibility, diagnostics, and benchmark debt106e28ffix(ci): reconcile the workflows with actions.lock (gh-actions-lock) (#19)2c98910fix(ci): pin third-party actions to full commit SHAs (#18)Updates
actions/upload-artifactfrom 7.0.1 to 7.0.2Release notes
Sourced from actions/upload-artifact's releases.
Commits
cf430e0Merge pull request #822 from actions/tunc-d-prepare-upload-v7-0-2c2acdedchore: prepare v7.0.2 release4687c1bMerge pull request #821 from actions/tunc-d-upload-artifact-package-bump8cbe1beBump@actions/artifactto 6.3.1Updates
SonarSource/sonarqube-scan-actionfrom 8.2.2 to 8.3.0Release notes
Sourced from SonarSource/sonarqube-scan-action's releases.
Commits
d209202Update GitHub Actions dependencies (major) (#271)0333cb3Update dependency@actions/execto v3 (#270)da4450eUpdate npm dependencies (#268)c5094d1SQSCANGHA-168 Update actions/cache action to v5.1.0 (#269)001613fSQSCANGHA-162 Configure Renovate (#267)6abe0a7SQSCANGHA-165 Fix GPG key retrieval through HTTPS proxies (#265)Updates
actions/download-artifactfrom 8.0.1 to 8.0.2Release notes
Sourced from actions/download-artifact's releases.
Commits
9000827Merge pull request #493 from actions/tunc-d-prepare-download-v8-0-2e455989Prepare download-artifact v8.0.2a00b90cMerge pull request #492 from actions/tunc-d-download-artifact-package-bump29bb7ceUpdate@actions/artifactto 6.3.1484a0b5Update the readme (#473)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 rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore <dependency name> major versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)@dependabot ignore <dependency name> minor versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)@dependabot ignore <dependency name>will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)@dependabot unignore <dependency name>will remove all of the ignore conditions of the specified dependency@dependabot unignore <dependency name> <ignore condition>will remove the ignore condition of the specified dependency and ignore conditions