Skip to content

Rename SystemConfigGlobal to TEEProverRegistry#205

Merged
leopoldjoy merged 3 commits into
mainfrom
rename-system-config-global-to-tee-prover-registry
Mar 12, 2026
Merged

Rename SystemConfigGlobal to TEEProverRegistry#205
leopoldjoy merged 3 commits into
mainfrom
rename-system-config-global-to-tee-prover-registry

Conversation

@leopoldjoy

Copy link
Copy Markdown
Contributor

Renames the SystemConfigGlobal contract to TEEProverRegistry to better reflect its purpose as a TEE signer / prover registry. Updates all references across source, tests, scripts, snapshots, and deployment files.

@cb-heimdall

cb-heimdall commented Mar 12, 2026

Copy link
Copy Markdown
Collaborator

✅ Heimdall Review Status

Requirement Status More Info
Reviews 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 0
Sum 1
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@leopoldjoy leopoldjoy merged commit 88ac6bd into main Mar 12, 2026
8 of 9 checks passed
@leopoldjoy leopoldjoy deleted the rename-system-config-global-to-tee-prover-registry branch March 12, 2026 15:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants