Repository navigation
Bump the actions group with 3 updates - #1
Merged
github-actions[bot] merged 1 commit intoSep 26, 2026
Merged
Conversation
Bumps the actions group with 3 updates: [github/codeql-action/init](https://github.com/github/codeql-action), [github/codeql-action/analyze](https://github.com/github/codeql-action) and [haskell-actions/setup](https://github.com/haskell-actions/setup). Updates `github/codeql-action/init` from 4.38.0 to 4.38.1 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](github/codeql-action@b96794f...1c5b675) Updates `github/codeql-action/analyze` from 4.38.0 to 4.38.1 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](github/codeql-action@b96794f...1c5b675) 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) --- updated-dependencies: - dependency-name: github/codeql-action/init dependency-version: 4.38.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: github/codeql-action/analyze dependency-version: 4.38.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: haskell-actions/setup dependency-version: 2.12.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] <support@github.com>
dependabot
Bot
added
dependencies
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
dependabot
Bot
deleted the
dependabot/github_actions/actions-73ab6a6c53
branch
September 26, 2026 15:02
4 of 5 tasks
hyperpolymath
added a commit
that referenced
this pull request
Oct 3, 2026
#2) ## Why this PR exists The compare [main...coderabbit/fix-hypatia-scan-failures/f36ac704](https://github.com/hyperpolymath/CoprocessorRuntime.jl/compare/coderabbit/fix-hypatia-scan-failures/f36ac704?expand=1) **cannot become a PR**. GitHub reports *no common ancestor*: - `main` is `5ce66c6` - `coderabbit/fix-hypatia-scan-failures/f36ac704` is parentless commit `d008687` (“Initialize …”) That orphan tree is an older RSR-template snapshot. The actual Hypatia ignore entries from [rsr-template-repo#89](hyperpolymath/rsr-template-repo#89) (`RE001`/`RE005`/`RE008`) are already on `main`. Merging the orphan would not apply a delta. **Owner action:** delete `coderabbit/fix-hypatia-scan-failures/f36ac704`. This branch shares history with `main`. ## CI that this tree can fix | Check | Cause | Fix here | |---|---|---| | CodeQL / Governance / Rust CI / Code Quality `startup_failure` on #1 | Dependabot bumped `codeql-action` to **4.38.1** (`1c5b675`) and `haskell-actions/setup` to v2.12.1 without regenerating `actions.lock`. 4.38.1 is blocked estate-wide ([nexia-list#100](hyperpolymath/nexia-list#100)). | Revert CodeQL to `b96794f` (v4.38.0, already locked). Revert haskell-actions/setup to v2.12.0. | | Hypatia Security Scan | Reusable at `da2c748` clones **hypatia@HEAD** and `mix escript.build`. Build failed here *and* on hyperpolymath/hypatia after [#863](hyperpolymath/hypatia#863) (same 33s failure). Scanner never ran. | `secrets: inherit` so `HYPATIA_SCAN_PAT` reaches the reusable. **Cannot** cure a broken hypatia HEAD — see [standards#1014](hyperpolymath/standards#1014). | | Lock Sync Gate | Same pin/lock desync, plus missing julia-ci lock records. | Pins match the lock; julia-ci entries added with closed `dependencies:` records. | Full write-up: `docs/status/HYPATIA-GATE.adoc`. ## The library (it was still an unminted spine) `Project.toml` uuid `54e4c7d3-acab-5c3f-ab09-6ee0d181492b` (UUIDv5 of the repo uuid). Zero runtime deps. Tests: Test + Aqua. Honest scope: **contracts, not kernels**. No CUDA/ROCm/Metal. Selection stays in AcceleratorGate.jl. | Piece | Runtime form | Not claimed | |---|---|---| | Choreographic projection | `LaunchPlan` / `project` / `HostRole`/`DeviceRole` | K-CUT (`kcut = :open` unless the transfer is injective) | | Tropical grades | `ResourceGrade`, `tropical_seq` (`+`), `tropical_alt` (`max`) | Lean `ResourceSemiring` | | `hub_ceiling` | `universal_hub_allowed()` throws `HubCeilingRefusal` | A universal vendor adapter | | Echo loss | `TransferMap` + `EchoResidue` | Agda fibres / EchoTypes.jl replay | | Epistemic no-smuggling | device `Knowledge` without `sound=true` is refused | Full warrant calculus | | CNO / OND | `CNOClaim` / `ONDClaim`, default `:unproved` | Coq/Lean proofs; OND-6 | | Janus inversion | `InverseMeta` | januskey's file log | Taken / not-taken from the `-type` repos: `docs/theory/TYPE-INFORMED-BACKENDS.adoc`. ## Wiring across the estate (this session can only push this repo) Exact patches for Hyperpolymath.jl (metal-layer `using` + `Project.toml` uuid) and notes for AcceleratorGate, LowLevel, EchoTypes, EpistemicTypes, QuantumCircuit, FirmwareAudit: `docs/ecosystem/HYPERPOLYMATH-WIRING.adoc` Hyperpolymath.jl is the linking directory; it does not yet name this package. That is a follow-up PR on Hyperpolymath.jl. ## Checklist - [x] Placeholders filled (`scripts/check-no-placeholders.sh` PASS) - [x] SPDX on new Julia sources - [x] No vendor kernels, no `hub` adapter - [x] Julia CI workflow added (1.9 + 1) - [ ] Hypatia scan green *when hypatia HEAD builds* (not this repo) Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> Co-authored-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
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 3 updates: github/codeql-action/init, github/codeql-action/analyze and haskell-actions/setup.
Updates
github/codeql-action/initfrom 4.38.0 to 4.38.1Release notes
Sourced from github/codeql-action/init's releases.
Changelog
Sourced from github/codeql-action/init's changelog.
... (truncated)
Commits
1c5b675Merge pull request #4152 from github/update-v4.38.1-a65b83a73a97cdcaAdd changelog entry for #4146cc6c691Update changelog for v4.38.1a65b83aMerge pull request #4146 from github/henrymercer/per-language-bundles-pr07fa87dClarify the latest-nightly eligibility exceptionf18f353Describe the bundle URL resolverecec9b5Share per-language telemetry fields without renaming79fe3a1Move download telemetry into the status-report directoryead1f7dRename the platform module549d498Simplify per-language platform eligibility checksUpdates
github/codeql-action/analyzefrom 4.38.0 to 4.38.1Release notes
Sourced from github/codeql-action/analyze's releases.
Changelog
Sourced from github/codeql-action/analyze's changelog.
... (truncated)
Commits
1c5b675Merge pull request #4152 from github/update-v4.38.1-a65b83a73a97cdcaAdd changelog entry for #4146cc6c691Update changelog for v4.38.1a65b83aMerge pull request #4146 from github/henrymercer/per-language-bundles-pr07fa87dClarify the latest-nightly eligibility exceptionf18f353Describe the bundle URL resolverecec9b5Share per-language telemetry fields without renaming79fe3a1Move download telemetry into the status-report directoryead1f7dRename the platform module549d498Simplify per-language platform eligibility checksUpdates
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.1Dependabot 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