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
170 changes: 170 additions & 0 deletions .github/workflows/actions.lock
Original file line number Diff line number Diff line change
@@ -0,0 +1,170 @@
# 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/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.11.0'
'.github/workflows/cflite_batch.yml':
- 'actions/checkout@v7.0.1'
- 'google/clusterfuzzlite@v1'
'.github/workflows/cflite_pr.yml':
- 'actions/checkout@v7.0.1'
- 'google/clusterfuzzlite@v1'
'.github/workflows/codeql.yml':
- 'actions/checkout@v7.0.1'
- 'github/codeql-action@v4.37.4'
'.github/workflows/comprehensive-quality.yml':
- 'actions/checkout@v7.0.1'
- 'returntocorp/semgrep-action@v1'
- 'trufflesecurity/trufflehog@v3.96.0'
'.github/workflows/governance.yml': []
'.github/workflows/hypatia-scan.yml': []
'.github/workflows/jekyll-gh-pages.yml':
- 'actions/checkout@v7.0.1'
- 'actions/configure-pages@v6.0.0'
- 'actions/deploy-pages@v5.0.0'
- 'actions/jekyll-build-pages@v1.0.13'
- 'actions/upload-pages-artifact@v5.0.0'
'.github/workflows/mirror.yml': []
'.github/workflows/pages.yml':
- 'actions/checkout@v7.0.1'
- 'actions/deploy-pages@v5.0.0'
- 'actions/upload-pages-artifact@v5.0.0'
'.github/workflows/proofs.yml':
- 'actions/checkout@v7.0.1'
'.github/workflows/push-email-notify.yml':
- 'dawidd6/action-send-mail@v3.12.0'
'.github/workflows/release.yml':
- 'actions/attest-build-provenance@v4.1.1'
- 'actions/checkout@v7.0.1'
- 'actions/download-artifact@v8.0.1'
- 'actions/upload-artifact@v7.0.1'
- 'dtolnay/rust-toolchain@stable'
- 'erlef/setup-beam@v1.24.1'
- 'softprops/action-gh-release@v2.2.1'
'.github/workflows/scorecard.yml': []
'.github/workflows/secret-scanner.yml': []
'.github/workflows/spark-theatre-gate.yml': []
'.github/workflows/test.yml':
- 'actions/checkout@v7.0.1'
- 'bogdanp/setup-racket@v1.9.1'
'.github/workflows/workflow-linter.yml':
- 'actions/checkout@v7.0.1'
dependencies:
'actions/attest-build-provenance@v4.1.1':
ref: 'v4.1.1'
commit: 'sha1-0f67c3f4856b2e3261c31976d6725780e5e4c373'
owner_id: 44036562
repo_id: 760702757
uses:
- 'actions/attest@a1948c3f048ba23858d222213b7c278aabede763'
'actions/attest@a1948c3f048ba23858d222213b7c278aabede763':
ref: 'v4.1.1'
commit: 'sha1-a1948c3f048ba23858d222213b7c278aabede763'
owner_id: 44036562
repo_id: 760701061
'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/download-artifact@v8.0.1':
ref: 'v8.0.1'
commit: 'sha1-3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c'
owner_id: 44036562
repo_id: 192626254
'actions/jekyll-build-pages@v1.0.13':
ref: 'v1.0.13'
commit: 'sha1-44a6e6beabd48582f863aeeb6cb2151cc1716697'
owner_id: 44036562
repo_id: 438323626
'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f':
ref: 'v7.0.0'
commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
owner_id: 44036562
repo_id: 192625955
'actions/upload-artifact@v7.0.1':
ref: 'v7.0.1'
commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
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'
'bogdanp/setup-racket@v1.9.1':
ref: 'v1.9.1'
commit: 'sha1-2466913449df77df2bad149d1f2fc4e1ea4795dd'
owner_id: 43347
repo_id: 219137853
'dawidd6/action-send-mail@v3.12.0':
ref: 'v3.12.0'
commit: 'sha1-2e600f3776677e493bf0da7aaec39a586d19a5ed'
owner_id: 9713907
repo_id: 222439721
'dtolnay/rust-toolchain@stable':
ref: 'stable'
commit: 'sha1-4cda84d5c5c54efe2404f9d843567869ab1699d4'
owner_id: 1940490
repo_id: 260749683
'erlef/setup-beam@v1.24.1':
ref: 'v1.24.1'
commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
owner_id: 47606891
repo_id: 331103973
'github/codeql-action@v4.37.4':
ref: 'v4.37.4'
commit: 'sha1-f205ea1c3313d32999d8d6a48b4f6530d4437b38'
owner_id: 9919
repo_id: 259445878
'google/clusterfuzzlite@v1':
ref: 'v1'
commit: 'sha1-884713a6c30a92e5e8544c39945cd7cb630abcd1'
owner_id: 1342004
repo_id: 400046858
'haskell-actions/setup@v2.11.0':
ref: 'v2.11.0'
commit: 'sha1-cd0d9bdd65b20557f41bea4dbe43d0b5fbbfe553'
owner_id: 75048950
repo_id: 623796603
'returntocorp/semgrep-action@v1':
ref: 'v1'
commit: 'sha1-713efdd345f3035192eaa63f56867b88e63e4e5d'
owner_id: 147861678
repo_id: 715166645
'softprops/action-gh-release@v2.2.1':
ref: 'v2.2.1'
commit: 'sha1-c95fe1489396fe8a9eb87c0abf8aa5b2ef267fda'
owner_id: 2242
repo_id: 204253808
'trufflesecurity/trufflehog@v3.96.0':
ref: 'v3.96.0'
commit: 'sha1-6f3c981e7b77f235fd2702dd74af25fc4b72bf11'
owner_id: 79229934
repo_id: 77726177
5 changes: 3 additions & 2 deletions .github/workflows/cargo-audit.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.
# Prevention workflow - audits Rust dependencies for vulnerabilities
name: Cargo Audit

Expand All @@ -22,7 +23,7 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4
- uses: actions/checkout@v7.0.1

- name: Install cargo-audit
run: cargo install cargo-audit --locked
Expand All @@ -42,7 +43,7 @@ jobs:
permissions:
issues: write
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4
- uses: actions/checkout@v7.0.1

- name: Create vulnerability issue
env:
Expand Down
15 changes: 8 additions & 7 deletions .github/workflows/casket-pages.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: GitHub Pages

on:
Expand All @@ -21,22 +22,22 @@ jobs:
timeout-minutes: 30
steps:
- name: Checkout
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4
uses: actions/checkout@v7.0.1

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

- name: Setup GHCup
uses: haskell-actions/setup@cd0d9bdd65b20557f41bea4dbe43d0b5fbbfe553 # v2
uses: haskell-actions/setup@v2.11.0
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
with:
path: |
~/.cabal/packages
Expand Down Expand Up @@ -80,10 +81,10 @@ jobs:
cd .casket-ssg && cabal run casket-ssg -- build ../site ../_site

- name: Setup Pages
uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0
uses: actions/configure-pages@v6.0.0

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

Expand All @@ -97,4 +98,4 @@ jobs:
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0
uses: actions/deploy-pages@v5.0.0
7 changes: 4 additions & 3 deletions .github/workflows/cflite_batch.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: ClusterFuzzLite Batch Fuzzing
on:
schedule:
Expand All @@ -9,11 +10,11 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- uses: google/clusterfuzzlite/actions/build_fuzzers@884713a6c30a92e5e8544c39945cd7cb630abcd1 # v1
- uses: actions/checkout@v7.0.1
- uses: google/clusterfuzzlite/actions/build_fuzzers@v1
with:
language: rust
- uses: google/clusterfuzzlite/actions/run_fuzzers@884713a6c30a92e5e8544c39945cd7cb630abcd1 # v1
- uses: google/clusterfuzzlite/actions/run_fuzzers@v1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
fuzz-seconds: 1800
7 changes: 4 additions & 3 deletions .github/workflows/cflite_pr.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: ClusterFuzzLite PR Fuzzing
on:
pull_request:
Expand All @@ -12,11 +13,11 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- uses: google/clusterfuzzlite/actions/build_fuzzers@884713a6c30a92e5e8544c39945cd7cb630abcd1 # v1
- uses: actions/checkout@v7.0.1
- uses: google/clusterfuzzlite/actions/build_fuzzers@v1
with:
language: rust
- uses: google/clusterfuzzlite/actions/run_fuzzers@884713a6c30a92e5e8544c39945cd7cb630abcd1 # v1
- uses: google/clusterfuzzlite/actions/run_fuzzers@v1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
fuzz-seconds: 300
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 @@ -35,15 +36,15 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
uses: actions/checkout@v7.0.1

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

- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@f205ea1c3313d32999d8d6a48b4f6530d4437b38 # v3.28.1
uses: github/codeql-action/analyze@v4.37.4
with:
category: "/language:${{ matrix.language }}"
Loading
Loading