Skip to content

Rename SystemConfigGlobal to TEEProverRegistry #315

Rename SystemConfigGlobal to TEEProverRegistry

Rename SystemConfigGlobal to TEEProverRegistry #315

Workflow file for this run

name: CI
on:
pull_request:
env:
FOUNDRY_PROFILE: ci
jobs:
check:
strategy:
fail-fast: true
name: Foundry project
runs-on: ubuntu-latest
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
with:
egress-policy: audit
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@82dee4ba654bd2146511f85f0d013af94670c4de # v1.4.0
with:
version: stable
- name: Install Go
uses: actions/setup-go@d35c59abb061a4a6fb18e82ac0862c26744d6ab5 # v5.5.0
with:
go-version-file: go.mod
cache-dependency-path: |
go.sum
scripts/go-ffi/go.sum
- name: Install just
run: curl --proto '=https' --tlsv1.2 -sSf https://just.systems/install.sh | bash -s -- --to /usr/local/bin
- name: Show Forge version
run: forge --version
- name: Install dependencies
run: make deps
- name: Run Forge fmt check
run: just lint-check
id: fmt
- name: Run Forge build
run: just forge-build
id: build
- name: Validate semver-lock
id: semver-lock
run: |
just semver-lock-no-build
git diff --exit-code snapshots/semver-lock.json
- name: Run Forge tests
run: just test
id: test