Skip to content

Jiajie/update ci#21

Open
jiajieey wants to merge 4 commits into
masterfrom
Jiajie/update_CI
Open

Jiajie/update ci#21
jiajieey wants to merge 4 commits into
masterfrom
Jiajie/update_CI

Conversation

@jiajieey
Copy link
Copy Markdown

@jiajieey jiajieey commented Jan 22, 2026

This PR fixes #1.

Summary

  • As we are changing the proving backend and blockchain interaction, we should update ci checks.
  • Because this repo is a fork, so i added a contribution.md to guide how to push a pr.

Changes

  • Ignore integration test for both mock prover and real prover.
  • Add contribution.md

Checklist

  • Tests added/updated
  • CI passes
  • No secrets/keys committed
  • Docs updated (if needed)
  • Backwards compatible (or noted breaking change)

How to test

  1. Testrunner will show there are only two tests for PR checks

Screenshots / Evidence (if applicable)

  • nah

@jiajieey jiajieey self-assigned this Jan 23, 2026
@jiajieey jiajieey requested review from AdarshRon and SwatiEY January 23, 2026 07:07
jiajieey added a commit that referenced this pull request Jan 23, 2026
@jiajieey jiajieey mentioned this pull request Jan 23, 2026
Copy link
Copy Markdown

@AdarshRon AdarshRon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update CI check

2 participants