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
2 changes: 2 additions & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
# SPDX-License-Identifier: PMPL-1.0-or-later
* @hyperpolymath
6 changes: 3 additions & 3 deletions .github/workflows/benchmarks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand Down Expand Up @@ -56,7 +56,7 @@ jobs:
toolchain: stable

- name: Cache Cargo
uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4
uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830 # v4
with:
path: |
~/.cargo/registry
Expand Down Expand Up @@ -96,7 +96,7 @@ jobs:
name: rust-benchmark-results
path: rust/target/criterion/

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/casket-ssg.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
cabal-version: '3.10'

- name: Cache Cabal
uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4
uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830 # v4
with:
path: |
~/.cabal/packages
Expand Down
62 changes: 31 additions & 31 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: ${{ matrix.julia-version }}

Expand All @@ -44,7 +44,7 @@ jobs:

- name: Process coverage
if: matrix.julia-version == '1.10' && matrix.os == 'ubuntu-latest'
uses: julia-actions/julia-processcoverage@1a56f1d0e334f89f2dc12a9c77b59eb8a1a5a055 # v1
uses: julia-actions/julia-processcoverage@03114f09f119417c3242a9fb6e0b722676aedf38 # v1

- name: Upload coverage
if: matrix.julia-version == '1.10' && matrix.os == 'ubuntu-latest'
Expand All @@ -60,7 +60,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: nightly

Expand All @@ -83,7 +83,7 @@ jobs:
components: rustfmt, clippy

- name: Cache Cargo
uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4
uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830 # v4
with:
path: |
~/.cargo/registry
Expand Down Expand Up @@ -114,7 +114,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand Down Expand Up @@ -151,7 +151,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -170,7 +170,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand Down Expand Up @@ -199,7 +199,7 @@ jobs:

- name: Upload model package evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: model-package-evidence
path: |
Expand All @@ -209,15 +209,15 @@ jobs:

- name: Upload optimization evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: optimization-evidence
path: build/optimization_evidence.json
if-no-files-found: warn

- name: Upload verification telemetry evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: verification-telemetry-evidence
path: build/verification_telemetry_evidence.json
Expand All @@ -234,7 +234,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -258,7 +258,7 @@ jobs:

- name: Upload GPU performance evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: gpu-performance-evidence-${{ matrix.os }}
path: build/gpu_performance_evidence_${{ matrix.os }}.json
Expand All @@ -271,7 +271,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand Down Expand Up @@ -312,39 +312,39 @@ jobs:

- name: Upload coprocessor evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: coprocessor-evidence
path: build/coprocessor_evidence.json
if-no-files-found: warn

- name: Upload coprocessor resilience evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: coprocessor-resilience-evidence
path: build/coprocessor_resilience_evidence.json
if-no-files-found: warn

- name: Upload TPU strict mode evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: tpu-strict-evidence
path: build/tpu_strict_evidence.json
if-no-files-found: warn

- name: Upload NPU strict mode evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: npu-strict-evidence
path: build/npu_strict_evidence.json
if-no-files-found: warn

- name: Upload DSP strict mode evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: dsp-strict-evidence
path: build/dsp_strict_evidence.json
Expand All @@ -358,7 +358,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -382,7 +382,7 @@ jobs:

- name: Upload CUDA performance evidence
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: gpu-performance-evidence-cuda
path: build/gpu_performance_cuda.json
Expand All @@ -396,7 +396,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -420,7 +420,7 @@ jobs:

- name: Upload ROCm performance evidence
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: gpu-performance-evidence-rocm
path: build/gpu_performance_rocm.json
Expand All @@ -434,7 +434,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -458,7 +458,7 @@ jobs:

- name: Upload Metal performance evidence
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: gpu-performance-evidence-metal
path: build/gpu_performance_metal.json
Expand All @@ -471,7 +471,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -490,7 +490,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -509,7 +509,7 @@ jobs:
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- uses: julia-actions/setup-julia@824fb972babf1837cf21c49159bf8a8130f26840 # v2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2
with:
version: '1.10'

Expand All @@ -526,7 +526,7 @@ jobs:

- name: Upload proof bundle evidence artifact
if: always()
uses: actions/upload-artifact@6d3e1c6c7da08dea67f074b3b34ddf5fd56a1bd7 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: proof-bundle-evidence
path: build/proof_bundle_evidence.json
Expand All @@ -540,9 +540,9 @@ jobs:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4

- name: Setup Zig
uses: goto-bus-stop/setup-zig@5a2baf4f01b5c1440a5db0bd7b57d0d1fb1e29bd # v2
uses: goto-bus-stop/setup-zig@abea47f85e598557f500fa1fd2ab7464fcb39406 # v2
with:
version: 0.11.0
version: 0.13.0

- name: Check formatting
working-directory: zig
Expand Down Expand Up @@ -588,7 +588,7 @@ jobs:
run: cargo audit

- name: Check for secrets
uses: trufflesecurity/trufflehog@8a8ef8526528d8a4ff3e2c90be08e25ef8efbd9b # v3.87
uses: trufflesecurity/trufflehog@6961f2bace57ab32b23b3ba40f8f420f6bc7e004 # v3.93.3
with:
path: ./
base: ${{ github.event.repository.default_branch }}
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
fetch-depth: 0 # Full history for better pattern analysis

- name: Setup Elixir for Hypatia scanner
uses: erlef/setup-beam@2f0cc07b4b9bea248ae098aba9e1a8a1de5ec24c # v1.18.2
uses: erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9 # v1.20.4
with:
elixir-version: '1.19.4'
otp-version: '28.3'
Expand Down Expand Up @@ -75,7 +75,7 @@ jobs:
echo "- Medium: $MEDIUM" >> $GITHUB_STEP_SUMMARY

- name: Upload findings artifact
uses: actions/upload-artifact@65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478 # v4
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
with:
name: hypatia-findings
path: hypatia-findings.json
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/quality.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ jobs:
find . -type f -perm /111 -name "*.sh" | head -10 || true

- name: Check for secrets
uses: trufflesecurity/trufflehog@8a8ef8526528d8a4ff3e2c90be08e25ef8efbd9b # v3.87
uses: trufflesecurity/trufflehog@6961f2bace57ab32b23b3ba40f8f420f6bc7e004 # v3.93.3
with:
path: ./
base: ${{ github.event.pull_request.base.sha || github.event.before }}
Expand Down
Loading
Loading