Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
173 changes: 173 additions & 0 deletions .github/workflows/actions.lock
Original file line number Diff line number Diff line change
@@ -0,0 +1,173 @@
# This file is machine-generated by `gh actions-lock`.
# Do not edit by hand; run `gh actions-lock` to update.
# Docs: https://gh.io/actions-lockfile
version: 'v0.0.2'
workflows:
'.github/workflows/hypatia-scan.yml': []
'.github/workflows/rust-ci.yml': []
'.github/workflows/scorecard.yml': []
'.github/workflows/boj-build.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/codeql.yml':
- 'actions/checkout@v6.0.2'
- 'github/codeql-action@v4.34.0'
'.github/workflows/dependabot-automerge.yml':
- 'dependabot/fetch-metadata@v2.2.0'
'.github/workflows/dogfood-gate.yml':
- 'actions/checkout@v4.3.1'
- 'hyperpolymath/a2ml-ecosystem@main'
- 'hyperpolymath/k9-ecosystem@main'
'.github/workflows/guix-nix-policy.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/idris2-proof.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/instant-sync.yml':
- 'peter-evans/repository-dispatch@v4.0.1'
'.github/workflows/mirror.yml':
- 'actions/checkout@v6.0.2'
- 'dtolnay/rust-toolchain@master'
- 'webfactory/ssh-agent@v0.9.1'
'.github/workflows/openssf-compliance.yml':
- 'actions/checkout@v4.3.1'
'.github/workflows/pages.yml':
- 'actions/checkout@v4.4.0'
- 'actions/deploy-pages@v4.0.5'
- 'actions/upload-pages-artifact@v3.0.1'
'.github/workflows/push-email-notify.yml':
- 'dawidd6/action-send-mail@v3.12.0'
'.github/workflows/quality.yml':
- 'actions/checkout@v6.0.2'
- 'editorconfig-checker/action-editorconfig-checker@v2.1.0'
'.github/workflows/release.yml':
- 'actions/checkout@v6.0.2'
- 'actions/upload-artifact@v4.6.2'
- 'softprops/action-gh-release@v2.5.0'
'.github/workflows/rhodibot.yml':
- 'actions/checkout@v4.3.1'
'.github/workflows/rsr-antipattern.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/runtime-policy.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/secret-scanner.yml':
- 'actions/checkout@v6.0.2'
- 'gitleaks/gitleaks-action@v2.3.9'
- 'trufflesecurity/trufflehog@v3.93.8'
'.github/workflows/security-policy.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/static-analysis-gate.yml':
- 'actions/checkout@v6.0.2'
- 'actions/download-artifact@v4.1.8'
- 'actions/upload-artifact@v4.6.2'
- 'erlef/setup-beam@v1.20.4'
'.github/workflows/wellknown-enforcement.yml':
- 'actions/checkout@v6.0.2'
'.github/workflows/workflow-linter.yml':
- 'actions/checkout@v6.0.2'
dependencies:
'actions/checkout@v4.3.1':
ref: 'v4.3.1'
commit: 'sha1-34e114876b0b11c390a56381ad16ebd13914f8d5'
owner_id: 44036562
repo_id: 197814629
'actions/checkout@v4.4.0':
ref: 'v4.4.0'
commit: 'sha1-11d5960a326750d5838078e36cf38b85af677262'
owner_id: 44036562
repo_id: 197814629
'actions/checkout@v6.0.2':
ref: 'v6.0.2'
commit: 'sha1-de0fac2e4500dabe0009e67214ff5f5447ce83dd'
owner_id: 44036562
repo_id: 197814629
'actions/deploy-pages@v4.0.5':
ref: 'v4.0.5'
commit: 'sha1-d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e'
owner_id: 44036562
repo_id: 438112499
'actions/download-artifact@v4.1.8':
ref: 'v4.1.8'
commit: 'sha1-fa0a91b85d4f404e444e00e005971372dc801d16'
owner_id: 44036562
repo_id: 192626254
'actions/upload-artifact@v4':
ref: 'v4'
commit: 'sha1-ea165f8d65b6e75b540449e92b4886f43607fa02'
owner_id: 44036562
repo_id: 192625955
'actions/upload-artifact@v4.6.2':
ref: 'v4.6.2'
commit: 'sha1-ea165f8d65b6e75b540449e92b4886f43607fa02'
owner_id: 44036562
repo_id: 192625955
'actions/upload-pages-artifact@v3.0.1':
ref: 'v3.0.1'
commit: 'sha1-56afc609e74202658d3ffba0e8f6dda462b719fa'
owner_id: 44036562
repo_id: 496012378
uses:
- 'actions/upload-artifact@v4'
'dawidd6/action-send-mail@v3.12.0':
ref: 'v3.12.0'
commit: 'sha1-6e502825a508b867ab2954ad6343b68787624c01'
owner_id: 9713907
repo_id: 222439721
'dependabot/fetch-metadata@v2.2.0':
ref: 'v2.2.0'
commit: 'sha1-dbb049abf0d677abbd7f7eee0375145b417fdd34'
owner_id: 27347476
repo_id: 371068214
'dtolnay/rust-toolchain@master':
ref: 'master'
commit: 'sha1-efa25f7f19611383d5b0ccf2d1c8914531636bf9'
owner_id: 1940490
repo_id: 260749683
'editorconfig-checker/action-editorconfig-checker@v2.1.0':
ref: 'v2.1.0'
commit: 'sha1-4b6cd6190d435e7e084fb35e36a096e98506f7b9'
owner_id: 26415196
repo_id: 297874902
'erlef/setup-beam@v1.20.4':
ref: 'v1.20.4'
commit: 'sha1-e6d7c94229049569db56a7ad5a540c051a010af9'
owner_id: 47606891
repo_id: 331103973
'github/codeql-action@v4.34.0':
ref: 'v4.34.0'
commit: 'sha1-c6f931105cb2c34c8f901cc885ba1e2e259cf745'
owner_id: 9919
repo_id: 259445878
'gitleaks/gitleaks-action@v2.3.9':
ref: 'v2.3.9'
commit: 'sha1-ff98106e4c7b2bc287b24eaf42907196329070c7'
owner_id: 90395851
repo_id: 242854909
'hyperpolymath/a2ml-ecosystem@main':
ref: 'main'
commit: 'sha1-aa4b836bd969df2bc58128cb8e3d20bbc88d5e79'
owner_id: 6759885
repo_id: 1275649586
'hyperpolymath/k9-ecosystem@main':
ref: 'main'
commit: 'sha1-89f3c2702f4f650a92aa7411502f38da06abd562'
owner_id: 6759885
repo_id: 1275650185
'peter-evans/repository-dispatch@v4.0.1':
ref: 'v4.0.1'
commit: 'sha1-28959ce8df70de7be546dd1250a005dd32156697'
owner_id: 18365890
repo_id: 220359305
'softprops/action-gh-release@v2.5.0':
ref: 'v2.5.0'
commit: 'sha1-a06a81a03ee405af7f2048a818ed3f03bbf83c7b'
owner_id: 2242
repo_id: 204253808
'trufflesecurity/trufflehog@v3.93.8':
ref: 'v3.93.8'
commit: 'sha1-6c05c4a00b91aa542267d8e32a8254774799d68d'
owner_id: 79229934
repo_id: 77726177
'webfactory/ssh-agent@v0.9.1':
ref: 'v0.9.1'
commit: 'sha1-a6f90b1f127823b31d4d4a8d96047790581349bd'
owner_id: 135788
repo_id: 208510314
3 changes: 2 additions & 1 deletion .github/workflows/boj-build.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
#
# OPTIONAL: BoJ Server Build Trigger
# This workflow notifies a BoJ Server instance when code is pushed.
Expand All @@ -21,7 +22,7 @@ jobs:
timeout-minutes: 15
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
uses: actions/checkout@v6.0.2

- name: Trigger BoJ Server (Casket/ssg-mcp)
env:
Expand Down
7 changes: 4 additions & 3 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
name: CodeQL Security Analysis

on:
Expand Down Expand Up @@ -39,15 +40,15 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
uses: actions/checkout@v6.0.2

- name: Initialize CodeQL
uses: github/codeql-action/init@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v3
uses: github/codeql-action/init@v4.34.0
with:
languages: ${{ matrix.language }}
build-mode: ${{ matrix.build-mode }}

- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v3
uses: github/codeql-action/analyze@v4.34.0
with:
category: "/language:${{ matrix.language }}"
3 changes: 2 additions & 1 deletion .github/workflows/dependabot-automerge.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
#
# dependabot-automerge.yml — enable GitHub's native auto-merge on
# Dependabot pull requests that match a declared severity / ecosystem
Expand Down Expand Up @@ -55,7 +56,7 @@
steps:
- name: Fetch Dependabot metadata
id: meta
uses: dependabot/fetch-metadata@dbb049abf0d677abbd7f7eee0375145b417fdd34 # v2.2.0
uses: dependabot/fetch-metadata@v2.2.0

Check failure on line 59 in .github/workflows/dependabot-automerge.yml

View check run for this annotation

SonarQubeCloud / SonarCloud Code Analysis

Use full commit SHA hash for this dependency.

See more on https://sonarcloud.io/project/issues?id=hyperpolymath_ideas-to-alphas&issues=AaBDJCltSQvpZejA_TF4&open=AaBDJCltSQvpZejA_TF4&pullRequest=75

Check warning on line 59 in .github/workflows/dependabot-automerge.yml

View check run for this annotation

Codacy Production / Codacy Static Code Analysis

.github/workflows/dependabot-automerge.yml#L59

An action sourced from a third-party repository on GitHub is not pinned to a full length commit SHA. Pinning an action to a full length commit SHA is currently the only way to use an action as an immutable release.
with:
github-token: ${{ secrets.GITHUB_TOKEN }}

Expand Down
17 changes: 9 additions & 8 deletions .github/workflows/dogfood-gate.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# dogfood-gate.yml — Hyperpolymath Dogfooding Quality Gate
Expand Down Expand Up @@ -26,7 +27,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Check for A2ML files
id: detect
Expand All @@ -39,7 +40,7 @@

- name: Validate A2ML manifests
if: steps.detect.outputs.count > 0
uses: hyperpolymath/a2ml-ecosystem/validate-action@aa4b836bd969df2bc58128cb8e3d20bbc88d5e79 # main
uses: hyperpolymath/a2ml-ecosystem/validate-action@main

Check failure on line 43 in .github/workflows/dogfood-gate.yml

View check run for this annotation

SonarQubeCloud / SonarCloud Code Analysis

Use full commit SHA hash for this dependency.

See more on https://sonarcloud.io/project/issues?id=hyperpolymath_ideas-to-alphas&issues=AaBDJCfBSQvpZejA_TFp&open=AaBDJCfBSQvpZejA_TFp&pullRequest=75

Check warning on line 43 in .github/workflows/dogfood-gate.yml

View check run for this annotation

Codacy Production / Codacy Static Code Analysis

.github/workflows/dogfood-gate.yml#L43

An action sourced from a third-party repository on GitHub is not pinned to a full length commit SHA. Pinning an action to a full length commit SHA is currently the only way to use an action as an immutable release.

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

🔴 HIGH RISK

Pinning to a moving branch like @main makes your CI pipeline susceptible to malicious updates. Update line 43 to use a 40-character commit SHA.

See Issue in Codacy

with:
path: '.'
strict: 'false'
Expand Down Expand Up @@ -71,7 +72,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Check for K9 files
id: detect
Expand All @@ -88,7 +89,7 @@

- name: Validate K9 contracts
if: steps.detect.outputs.k9_count > 0
uses: hyperpolymath/k9-ecosystem/validate-action@89f3c2702f4f650a92aa7411502f38da06abd562 # main
uses: hyperpolymath/k9-ecosystem/validate-action@main

Check failure on line 92 in .github/workflows/dogfood-gate.yml

View check run for this annotation

SonarQubeCloud / SonarCloud Code Analysis

Use full commit SHA hash for this dependency.

See more on https://sonarcloud.io/project/issues?id=hyperpolymath_ideas-to-alphas&issues=AaBDJCfBSQvpZejA_TFq&open=AaBDJCfBSQvpZejA_TFq&pullRequest=75

Check warning on line 92 in .github/workflows/dogfood-gate.yml

View check run for this annotation

Codacy Production / Codacy Static Code Analysis

.github/workflows/dogfood-gate.yml#L92

An action sourced from a third-party repository on GitHub is not pinned to a full length commit SHA. Pinning an action to a full length commit SHA is currently the only way to use an action as an immutable release.
with:
path: '.'
strict: 'false'
Expand Down Expand Up @@ -121,7 +122,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Scan for invisible characters
id: lint
Expand Down Expand Up @@ -186,7 +187,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Check for Groove manifest
id: groove
Expand Down Expand Up @@ -245,7 +246,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Check and validate eclexiaiser manifest
id: eclex
Expand Down Expand Up @@ -311,7 +312,7 @@

steps:
- name: Checkout repository
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
uses: actions/checkout@v4.3.1

- name: Generate dogfooding scorecard
run: |
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/guix-nix-policy.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
name: Guix/Nix Package Policy
on:
push:
Expand All @@ -21,7 +22,7 @@ jobs:
permissions:
contents: read
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- uses: actions/checkout@v6.0.2
- name: Enforce Guix primary / Nix fallback
run: |
# Check for package manager files
Expand Down
4 changes: 3 additions & 1 deletion .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
# Thin wrapper around hyperpolymath/standards hypatia-scan-reusable.yml.
# See standards#191 for the reusable's purpose and design.

Expand All @@ -19,11 +20,12 @@ concurrency:
cancel-in-progress: true

permissions:
actions: read
contents: read
security-events: write
pull-requests: write

jobs:
hypatia:
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@84355587cb2a1f86e6882de83514a32db2646e7a
secrets: inherit
3 changes: 2 additions & 1 deletion .github/workflows/idris2-proof.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
# Idris2 proof check — type-checks EVERY Idris2 module in the repository via
# scripts/check-idris2-proofs.sh (the same script `just proof-check-idris2`
# runs, so local green and CI green mean the same thing).
Expand Down Expand Up @@ -54,7 +55,7 @@ jobs:
contents: read
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
uses: actions/checkout@v6.0.2

- name: Install Chez Scheme (Idris2 backend)
run: |
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/instant-sync.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.
# Instant Forge Sync - Triggers propagation to all forges on push/release
name: Instant Sync

Expand All @@ -17,7 +18,7 @@
timeout-minutes: 15
steps:
- name: Trigger Propagation
uses: peter-evans/repository-dispatch@28959ce8df70de7be546dd1250a005dd32156697 # v3
uses: peter-evans/repository-dispatch@v4.0.1

Check failure on line 21 in .github/workflows/instant-sync.yml

View check run for this annotation

SonarQubeCloud / SonarCloud Code Analysis

Use full commit SHA hash for this dependency.

See more on https://sonarcloud.io/project/issues?id=hyperpolymath_ideas-to-alphas&issues=AaBDJCj4SQvpZejA_TFv&open=AaBDJCj4SQvpZejA_TFv&pullRequest=75

Check warning on line 21 in .github/workflows/instant-sync.yml

View check run for this annotation

Codacy Production / Codacy Static Code Analysis

.github/workflows/instant-sync.yml#L21

An action sourced from a third-party repository on GitHub is not pinned to a full length commit SHA. Pinning an action to a full length commit SHA is currently the only way to use an action as an immutable release.
with:
token: ${{ secrets.FARM_DISPATCH_TOKEN }}
repository: hyperpolymath/.git-private-farm
Expand Down
Loading
Loading