Skip to content

test: integrate foundry invariant fuzzing into CI#77

Draft
Seth-Schmidt wants to merge 5 commits intomainfrom
feature/pro-247-test-integrate-staking-fuzzing-into-ci
Draft

test: integrate foundry invariant fuzzing into CI#77
Seth-Schmidt wants to merge 5 commits intomainfrom
feature/pro-247-test-integrate-staking-fuzzing-into-ci

Conversation

@Seth-Schmidt
Copy link
Copy Markdown
Contributor

@Seth-Schmidt Seth-Schmidt commented Apr 1, 2026

Summary

Adds a workflow to run the existing Foundry invariant test suite in CI, along with Foundry profiles for controlling test intensity across environments.

Changes

.github/workflows/contracts-staking-foundry-tests.yml

  • New workflow with two jobs sharing a single file:
    • tests: runs on PR and push to main using the ci profile (500 runs, depth 15); gated by path filter so
      it only triggers when staking files change
    • tests-heavy: runs on workflow_dispatch only using the ciheavy profile (10k runs, depth 15); no path
      filter since manual runs are always intentional
    • Both jobs upload a foundry-test-output artifact

contracts/staking/foundry.toml

  • Adds ci and ciheavy invariant profiles

contracts/staking/Makefile

  • Adds test-fuzz-ci and test-fuzz-heavy targets

@cla-bot cla-bot bot added the cla-signed label Apr 1, 2026
Comment thread .github/workflows/contracts-staking-foundry-tests.yml Fixed
@Seth-Schmidt Seth-Schmidt self-assigned this Apr 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants