-
-
Notifications
You must be signed in to change notification settings - Fork 0
fix(ci): unbreak workflow YAML and add a complete actions.lock #106
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,129 @@ | ||
| # 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/governance.yml': [] | ||
| '.github/workflows/hypatia-scan.yml': [] | ||
| '.github/workflows/mirror.yml': [] | ||
| '.github/workflows/rust-ci.yml': [] | ||
| '.github/workflows/scorecard.yml': [] | ||
| '.github/workflows/secret-scanner.yml': [] | ||
| '.github/workflows/boj-build.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| '.github/workflows/cargo-audit.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| '.github/workflows/casket-pages.yml': | ||
| - 'actions/cache@v6.1.0' | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'actions/configure-pages@v6.0.0' | ||
| - 'actions/deploy-pages@v5.0.0' | ||
| - 'actions/upload-pages-artifact@v5.0.0' | ||
| - 'haskell-actions/setup@v2.12.0' | ||
| '.github/workflows/codeql.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'github/codeql-action@v4.37.8' | ||
| '.github/workflows/dashboard-check.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'dtolnay/rust-toolchain@v1' | ||
| '.github/workflows/dependabot-automerge.yml': | ||
| - 'dependabot/fetch-metadata@v3.1.0' | ||
| '.github/workflows/dogfood-gate.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'hyperpolymath/a2ml-ecosystem@main' | ||
| - 'hyperpolymath/k9-ecosystem@main' | ||
| '.github/workflows/e2e.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'dtolnay/rust-toolchain@v1' | ||
| - 'swatinem/rust-cache@v2.9.2' | ||
| '.github/workflows/instant-sync.yml': | ||
| - 'peter-evans/repository-dispatch@v4.0.1' | ||
| '.github/workflows/pages.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'actions/deploy-pages@v5.0.0' | ||
| - 'actions/upload-pages-artifact@v5.0.0' | ||
| '.github/workflows/push-email-notify.yml': | ||
| - 'dawidd6/action-send-mail@v3.12.0' | ||
| '.github/workflows/semgrep.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| - 'github/codeql-action@v4.37.8' | ||
| '.github/workflows/workflow-linter.yml': | ||
| - 'actions/checkout@v7.0.1' | ||
| dependencies: | ||
| 'actions/cache@v6.1.0': | ||
| ref: 'v6.1.0' | ||
| commit: 'sha1-55cc8345863c7cc4c66a329aec7e433d2d1c52a9' | ||
| owner_id: 44036562 | ||
| repo_id: 215566462 | ||
| 'actions/checkout@v7.0.1': | ||
| ref: 'v7.0.1' | ||
| commit: 'sha1-3d3c42e5aac5ba805825da76410c181273ba90b1' | ||
| owner_id: 44036562 | ||
| repo_id: 197814629 | ||
| 'actions/configure-pages@v6.0.0': | ||
| ref: 'v6.0.0' | ||
| commit: 'sha1-45bfe0192ca1faeb007ade9deae92b16b8254a0d' | ||
| owner_id: 44036562 | ||
| repo_id: 513659658 | ||
| 'actions/deploy-pages@v5.0.0': | ||
| ref: 'v5.0.0' | ||
| commit: 'sha1-cd2ce8fcbc39b97be8ca5fce6e763baed58fa128' | ||
| owner_id: 44036562 | ||
| repo_id: 438112499 | ||
| 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f': | ||
| ref: 'v7.0.0' | ||
| commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f' | ||
| owner_id: 44036562 | ||
| repo_id: 192625955 | ||
| 'actions/upload-pages-artifact@v5.0.0': | ||
| ref: 'v5.0.0' | ||
| commit: 'sha1-fc324d3547104276b827a68afc52ff2a11cc49c9' | ||
| owner_id: 44036562 | ||
| repo_id: 496012378 | ||
| uses: | ||
| - 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f' | ||
| 'dawidd6/action-send-mail@v3.12.0': | ||
| ref: 'v3.12.0' | ||
| commit: 'sha1-0bbdab096651ee93f37ec02383e088183d41ff0b' | ||
| owner_id: 9713907 | ||
| repo_id: 222439721 | ||
| 'dependabot/fetch-metadata@v3.1.0': | ||
| ref: 'v3.1.0' | ||
| commit: 'sha1-25dd0e34f4fe68f24cc83900b1fe3fe149efef98' | ||
| owner_id: 27347476 | ||
| repo_id: 371068214 | ||
| 'dtolnay/rust-toolchain@v1': | ||
| ref: 'v1' | ||
| commit: 'sha1-6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772' | ||
| owner_id: 1940490 | ||
| repo_id: 260749683 | ||
| 'github/codeql-action@v4.37.8': | ||
| ref: 'v4.37.8' | ||
| commit: 'sha1-db488ddef3bf6cb639b32c2e9a7c0a7ea8271d28' | ||
| owner_id: 9919 | ||
| repo_id: 259445878 | ||
| 'haskell-actions/setup@v2.12.0': | ||
| ref: 'v2.12.0' | ||
| commit: 'sha1-6037f33647c3f17758a2356c80fc4a53d7e0685d' | ||
| owner_id: 75048950 | ||
| repo_id: 623796603 | ||
| '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 | ||
| 'swatinem/rust-cache@v2.9.2': | ||
| ref: 'v2.9.2' | ||
| commit: 'sha1-6323deb102c322ba6fcbdcafc7e3dddab59af2b6' | ||
| owner_id: 580492 | ||
| repo_id: 298565987 |
| 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: GitHub Pages | ||
|
|
||
| on: | ||
|
|
@@ -22,22 +23,22 @@ | |
| timeout-minutes: 15 | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Checkout casket-ssg | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
| with: | ||
| repository: hyperpolymath/casket-ssg | ||
| path: .casket-ssg | ||
|
|
||
| - name: Setup GHCup | ||
| uses: haskell-actions/setup@6037f33647c3f17758a2356c80fc4a53d7e0685d # v2 | ||
| uses: haskell-actions/setup@v2.12.0 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
Check warning on line 35 in .github/workflows/casket-pages.yml
|
||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🔴 HIGH RISK Pin the |
||
| with: | ||
| ghc-version: '9.8.2' | ||
| cabal-version: '3.10' | ||
|
|
||
| - name: Cache Cabal | ||
| uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0 | ||
| uses: actions/cache@v6.1.0 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
| with: | ||
| path: | | ||
| ~/.cabal/packages | ||
|
|
@@ -99,10 +100,10 @@ | |
| touch ../_site/.nojekyll | ||
|
|
||
| - name: Setup Pages | ||
| uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0 | ||
| uses: actions/configure-pages@v6.0.0 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Upload artifact | ||
| uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 | ||
| uses: actions/upload-pages-artifact@v5.0.0 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
| with: | ||
| path: '_site' | ||
|
|
||
|
|
@@ -116,4 +117,4 @@ | |
| steps: | ||
| - name: Deploy to GitHub Pages | ||
| id: deployment | ||
| uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0 | ||
| uses: actions/deploy-pages@v5.0.0 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
| 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> | ||
| # | ||
| # dashboard-check.yml — fail the build when a hand-maintained status dashboard | ||
|
|
@@ -23,9 +24,9 @@ | |
| timeout-minutes: 15 | ||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - uses: dtolnay/rust-toolchain@4be9e76fd7c4901c61fb841f559994984270fce7 # stable | ||
| - uses: dtolnay/rust-toolchain@v1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
Check warning on line 29 in .github/workflows/dashboard-check.yml
|
||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🔴 HIGH RISK Pinning to a major version tag like |
||
|
|
||
| - name: Reconcile dashboards against STATE.a2ml | ||
| run: cargo run -q -p dashboard-check -- --check . | ||
| 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 | ||
|
|
@@ -27,7 +28,7 @@ | |
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Check for A2ML files | ||
| id: detect | ||
|
|
@@ -40,7 +41,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 warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
Check warning on line 44 in .github/workflows/dogfood-gate.yml
|
||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🔴 HIGH RISK Avoid pinning to a mutable branch like |
||
| with: | ||
| path: '.' | ||
| strict: 'false' | ||
|
|
@@ -72,7 +73,7 @@ | |
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Check for K9 files | ||
| id: detect | ||
|
|
@@ -89,7 +90,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 warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
Check warning on line 93 in .github/workflows/dogfood-gate.yml
|
||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🔴 HIGH RISK An action sourced from a third-party repository on GitHub is not pinned to a full length commit SHA. Pinning to the main branch is dangerous as it is a mutable reference. |
||
| with: | ||
| path: '.' | ||
| strict: 'false' | ||
|
|
@@ -122,7 +123,7 @@ | |
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Scan for invisible characters | ||
| id: lint | ||
|
|
@@ -187,7 +188,7 @@ | |
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Check for Groove manifest | ||
| id: groove | ||
|
|
@@ -248,7 +249,7 @@ | |
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| uses: actions/checkout@v7.0.1 | ||
Check warningCode scanning / Semgrep OSS Semgrep Finding: yaml.github-actions.security.github-actions-mutable-action-tag.github-actions-mutable-action-tag Warning
GitHub Actions step uses a mutable tag or branch reference. Tags and branch names can be silently repointed by the action owner, enabling supply-chain attacks — as seen in the trivy-action and kics-github-action compromises. Pin the reference to a full 40-character commit SHA instead, e.g. uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608.
|
||
|
|
||
| - name: Generate dogfooding scorecard | ||
| run: | | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🟡 MEDIUM RISK
The move to tag-only pinning (e.g.,
@v7.0.1) without a trailing SHA comment will cause theworkflow-security-linterto fail. The linter rule at line 53 of.github/workflows/workflow-linter.ymlflags any tag that does not contain a#. You should update the linter logic or restore the SHA comments.