Skip to content

remove Automata dependency#208

Merged
roger-bai-coinbase merged 1 commit intomainfrom
roger/remove-automata-dependency
Mar 17, 2026
Merged

remove Automata dependency#208
roger-bai-coinbase merged 1 commit intomainfrom
roger/remove-automata-dependency

Conversation

@roger-bai-coinbase
Copy link
Contributor

@roger-bai-coinbase roger-bai-coinbase commented Mar 17, 2026

  • Removes the Automata dependency
  • Directly use interfaces from Risc0 and SP1

@cb-heimdall
Copy link
Collaborator

cb-heimdall commented Mar 17, 2026 •
edited
Loading

✅ 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

@roger-bai-coinbase roger-bai-coinbase marked this pull request as ready for review March 17, 2026 19:03
@roger-bai-coinbase roger-bai-coinbase merged commit 2421afd into main Mar 17, 2026
8 checks passed
@roger-bai-coinbase roger-bai-coinbase deleted the roger/remove-automata-dependency branch March 17, 2026 19:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@leopoldjoy leopoldjoy leopoldjoy approved these changes

@jackchuma jackchuma Awaiting requested review from jackchuma

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@roger-bai-coinbase @cb-heimdall @leopoldjoy