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
6 changes: 3 additions & 3 deletions .github/workflows/abi-contract.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ jobs:
timeout-minutes: 15
steps:
- name: Checkout
uses: actions/checkout@v4.2.2
uses: actions/checkout@v7.0.1

- name: Install Zig 0.15.2
# Pinned + sha256-verified tarball; no third-party action (#103).
Expand Down Expand Up @@ -75,7 +75,7 @@ jobs:
image: ghcr.io/stefan-hoeck/idris2-pack@sha256:370e2ab066251cf278ac6928d9201ade0aca70c4e7ee1cc434d25bcea1669b29
steps:
- name: Checkout
uses: actions/checkout@v4.2.2
uses: actions/checkout@v7.0.1

- name: Install Zig download prerequisites in the Idris image
run: |
Expand All @@ -95,7 +95,7 @@ jobs:
timeout-minutes: 5
steps:
- name: Checkout
uses: actions/checkout@v4.2.2
uses: actions/checkout@v7.0.1

# Symbol-level contract only (pure grep/comm — no toolchain): every
# extern in src/ui/tea/gsa_ffi.affine must be a real Zig export, and
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/boj-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:
timeout-minutes: 10
steps:
- name: Checkout
uses: actions/checkout@v4.1.7
uses: actions/checkout@v7.0.1
- name: Trigger BoJ Server (Casket/ssg-mcp)
env:
BOJ_URL: ${{ secrets.BOJ_SERVER_URL || vars.BOJ_SERVER_URL }}
Expand Down
14 changes: 7 additions & 7 deletions .github/workflows/casket-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,22 +23,22 @@ jobs:
timeout-minutes: 30
steps:
- name: Checkout
uses: actions/checkout@v4.1.1
uses: actions/checkout@v7.0.1

- name: Checkout casket-ssg
uses: actions/checkout@v4.1.1
uses: actions/checkout@v7.0.1
with:
repository: hyperpolymath/casket-ssg
path: .casket-ssg

- name: Setup GHCup
uses: haskell-actions/setup@v2.7.5
uses: haskell-actions/setup@v2.12.1
with:
ghc-version: '9.8.2'
cabal-version: '3.10'

- name: Cache Cabal
uses: actions/cache@v4.3.0
uses: actions/cache@v6.1.0
with:
path: |
~/.cabal/packages
Expand Down Expand Up @@ -100,10 +100,10 @@ jobs:
touch ../_site/.nojekyll

- name: Setup Pages
uses: actions/configure-pages@v5.0.0
uses: actions/configure-pages@v6.0.0

- name: Upload artifact
uses: actions/upload-pages-artifact@v3.0.1
uses: actions/upload-pages-artifact@v5.0.0
with:
path: '_site'

Expand All @@ -117,4 +117,4 @@ jobs:
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4.0.5
uses: actions/deploy-pages@v5.0.1
6 changes: 3 additions & 3 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,15 +42,15 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v6.0.2
uses: actions/checkout@v7.0.1

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

- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v4.34.0
uses: github/codeql-action/analyze@v4.38.2
with:
category: "/language:${{ matrix.language }}"
4 changes: 2 additions & 2 deletions .github/workflows/cross-platform.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,14 +33,14 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v4.2.2
uses: actions/checkout@v7.0.1

- name: Install Zig 0.15.2
# Pinned + sha256-verified tarball; no third-party action (#103).
run: bash scripts/install-zig.sh

- name: Cache Zig
uses: actions/cache@v4.2.0
uses: actions/cache@v6.1.0
with:
path: |
~/.cache/zig
Expand Down
12 changes: 6 additions & 6 deletions .github/workflows/dogfood-gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

- name: Check for manifest files (.a2ml/.deed)
id: detect
Expand Down Expand Up @@ -73,7 +73,7 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

- name: Check for K9 files
id: detect
Expand Down Expand Up @@ -123,7 +123,7 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

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

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

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

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

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

steps:
- name: Checkout repository
uses: actions/checkout@v4.3.1
uses: actions/checkout@v7.0.1

- name: Generate dogfooding scorecard
run: |
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,12 +49,12 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v6.0.2
uses: actions/checkout@v7.0.1
with:
fetch-depth: 0 # Full history for better pattern analysis

- name: Setup Elixir for Hypatia scanner
uses: erlef/setup-beam@v1.24.0
uses: erlef/setup-beam@v1.24.1
with:
elixir-version: '1.18'
otp-version: '27'
Expand Down Expand Up @@ -108,7 +108,7 @@ jobs:
echo "- Medium: $MEDIUM" >> $GITHUB_STEP_SUMMARY

- name: Upload findings artifact
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: hypatia-findings
path: hypatia-findings.json
Expand Down Expand Up @@ -244,7 +244,7 @@ jobs:
always() &&
(github.event_name != 'pull_request' ||
github.event.pull_request.head.repo.fork != true)
uses: github/codeql-action/upload-sarif@v4.32.6
uses: github/codeql-action/upload-sarif@v4.38.2
with:
sarif_file: hypatia.sarif
# Distinct category so Hypatia results coexist with CodeQL's
Expand Down Expand Up @@ -384,7 +384,7 @@ jobs:
# the pull-requests: write permission above: a token/API hiccup or
# a fork PR (read-only token) skips the comment, not the check.
continue-on-error: true
uses: actions/github-script@v8.0.0
uses: actions/github-script@v9.0.0
with:
script: |
const fs = require('fs');
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/push-email-notify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ jobs:
timeout-minutes: 5
steps:
- name: Send push notification email
uses: hyperpolymath/smtp-notify-action@v0.2.0
uses: hyperpolymath/smtp-notify-action@v0.3.0
with:
server_address: ${{ secrets.SMTP_HOST }}
server_port: ${{ secrets.SMTP_PORT }}
Expand Down
16 changes: 8 additions & 8 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:
permissions:
contents: read
steps:
- uses: actions/checkout@v6.0.2
- uses: actions/checkout@v7.0.1

- name: Build
run: |
Expand All @@ -38,7 +38,7 @@ jobs:
cp src/interface/ffi/zig-out/lib/libgsa.so release-artifacts/ 2>/dev/null || true
tar -czf release-artifacts/gsa-linux-x86_64.tar.gz -C release-artifacts gsa

- uses: actions/upload-artifact@v4.6.2
- uses: actions/upload-artifact@v7.0.1
with:
name: release-artifacts
path: release-artifacts/
Expand All @@ -54,7 +54,7 @@ jobs:
changelog: ${{ steps.cliff.outputs.content }}
version: ${{ steps.version.outputs.version }}
steps:
- uses: actions/checkout@v6.0.2
- uses: actions/checkout@v7.0.1
with:
fetch-depth: 0

Expand Down Expand Up @@ -84,7 +84,7 @@ jobs:
git cliff --output CHANGELOG.md

- name: Upload updated CHANGELOG.md
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: changelog
path: CHANGELOG.md
Expand All @@ -100,15 +100,15 @@ jobs:
id-token: write
attestations: write
steps:
- uses: actions/checkout@v6.0.2
- uses: actions/checkout@v7.0.1

- uses: actions/download-artifact@v4.3.0
- uses: actions/download-artifact@v8.0.1
with:
name: release-artifacts
path: artifacts/

- name: Create GitHub Release
uses: softprops/action-gh-release@v2.5.0
uses: softprops/action-gh-release@v3.0.3
with:
body: ${{ needs.changelog.outputs.changelog }}
draft: false
Expand All @@ -120,7 +120,7 @@ jobs:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

- name: Attest build provenance
uses: actions/attest-build-provenance@v2.4.0
uses: actions/attest-build-provenance@v4.2.2
with:
subject-path: |
artifacts/gsa-linux-x86_64.tar.gz
Expand Down
22 changes: 11 additions & 11 deletions .github/workflows/static-analysis-gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v6.0.2
uses: actions/checkout@v7.0.1
with:
fetch-depth: 0

Expand Down Expand Up @@ -128,7 +128,7 @@ jobs:
echo "Skipped: panic-attack not available in this environment." >> "$GITHUB_STEP_SUMMARY"

- name: Upload panic-attack findings
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: panic-attack-findings
path: panic-attack-findings.json
Expand All @@ -150,14 +150,14 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v6.0.2
uses: actions/checkout@v7.0.1
with:
fetch-depth: 0

- name: Setup Elixir for Hypatia scanner
id: beam
continue-on-error: true
uses: erlef/setup-beam@v1.20.4
uses: erlef/setup-beam@v1.24.1
with:
elixir-version: '1.19.4'
otp-version: '28.3'
Expand Down Expand Up @@ -263,7 +263,7 @@ jobs:
echo "Skipped: Hypatia scanner not available in this environment." >> "$GITHUB_STEP_SUMMARY"

- name: Upload hypatia findings
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: hypatia-findings
path: hypatia-findings.json
Expand All @@ -285,7 +285,7 @@ jobs:

steps:
- name: Checkout repository
uses: actions/checkout@v6.0.2
uses: actions/checkout@v7.0.1
with:
fetch-depth: 0

Expand Down Expand Up @@ -352,7 +352,7 @@ jobs:
echo "Skipped: panic-attack not available in this environment." >> "$GITHUB_STEP_SUMMARY"

- name: Upload bridge report
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: bridge-report
path: bridge-report.json
Expand All @@ -377,19 +377,19 @@ jobs:

steps:
- name: Download panic-attack findings
uses: actions/download-artifact@v4.1.8
uses: actions/download-artifact@v8.0.1
with:
name: panic-attack-findings
path: findings/

- name: Download hypatia findings
uses: actions/download-artifact@v4.1.8
uses: actions/download-artifact@v8.0.1
with:
name: hypatia-findings
path: findings/

- name: Download bridge report
uses: actions/download-artifact@v4.1.8
uses: actions/download-artifact@v8.0.1
with:
name: bridge-report
path: findings/
Expand Down Expand Up @@ -451,7 +451,7 @@ jobs:
echo "low=$LOW" >> "$GITHUB_OUTPUT"

- name: Upload unified findings (fleet scanner picks these up)
uses: actions/upload-artifact@v4.6.2
uses: actions/upload-artifact@v7.0.1
with:
name: unified-findings
path: findings/unified-findings.json
Expand Down
Loading