CI/CD Integration - Phylax Credible Layer Documentation

You can set up CI/CD workflows to ensure all assertion tests pass before merging code. The setup is very similar to standard Foundry/Forge workflows, with the addition of installing pcl and running pcl test for testing.

GitHub Actions Example

name: Phylax Assertion Tests

on:
  pull_request:
    branches: [main, develop]
    paths:
      - "assertions/**"
      - "src/**"
  workflow_dispatch:

env:
  FOUNDRY_PROFILE: assertions

jobs:
  test:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout code
        uses: actions/checkout@v4
        with:
          submodules: recursive

      - name: Setup Foundry
        uses: foundry-rs/foundry-toolchain@v1
        with:
          version: nightly

      - name: Install pcl
        run: |
          LATEST_VERSION=$(curl -s https://api.github.com/repos/phylaxsystems/credible-sdk/releases/latest | grep '"tag_name":' | cut -d'"' -f4)
          curl -L "https://github.com/phylaxsystems/credible-sdk/releases/download/${LATEST_VERSION}/pcl-${LATEST_VERSION}-linux-x86_64.tar.gz" | tar -xz
          sudo mv pcl/pcl /usr/local/bin/
          sudo chmod +x /usr/local/bin/pcl

      - name: Run tests
        run: |
          pcl test

This workflow:

Triggers on pull requests to main/develop branches when assertion or source files change
Supports manual runs with workflow_dispatch
Uses the assertions profile via FOUNDRY_PROFILE: assertions
Installs the latest pcl from GitHub releases
Runs all assertion tests with pcl test

Use the FOUNDRY_PROFILE: assertions environment variable to ensure the correct Foundry profile is used for testing assertions.

Foundry Profile Configuration

Foundry profiles allow you to configure different compilation and testing settings for different parts of your project. For assertions, you typically want separate profiles for different types of tests to avoid running slow tests (like fuzz tests and backtests) every time you want to run quick unit tests locally. This configuration goes in your project’s foundry.toml file, which you should be familiar with if you have used Foundry before.

Recommended Profile Structure

Organize your tests into separate folders and create profiles for each test type:

assertions/
├── src/           # Assertion source code
└── test/
    ├── unit/      # Fast unit tests
    ├── fuzz/      # Fuzz tests (slower)
    └── backtest/  # Backtesting tests (slowest)

Example foundry.toml

[profile.default]
src = "src"
out = "out"
libs = ["lib"]
solc = "0.8.29"
optimizer = true
optimizer_runs = 200

# General assertions profile (runs all tests)
[profile.assertions]
src = "assertions/src"
test = "assertions/test"
out = "assertions/out"
libs = ["lib"]
solc = "0.8.29"
optimizer = true
optimizer_runs = 200

# Unit tests only (fast, for local development)
[profile.unit-assertions]
src = "assertions/src"
test = "assertions/test/unit"
out = "assertions/out"
libs = ["lib"]
solc = "0.8.29"
optimizer = true
optimizer_runs = 200

# Fuzz testing profile
[profile.fuzz-assertions]
src = "assertions/src"
test = "assertions/test/fuzz"
out = "assertions/out"
libs = ["lib"]
solc = "0.8.29"
optimizer = true
optimizer_runs = 10000

# Backtesting profile (requires FFI)
[profile.backtest-assertions]
src = "assertions/src"
test = "assertions/test/backtest"
out = "assertions/out"
libs = ["lib"]
solc = "0.8.29"
optimizer = true
optimizer_runs = 200
ffi = true  # Required for backtesting

# Fuzz configuration (applies to all profiles)
[fuzz]
runs = 256
max_test_rejects = 65536

Profile Benefits

Unit tests (unit-assertions) - Fast feedback during development
Fuzz tests (fuzz-assertions) - Run separately when testing edge cases
Backtests (backtest-assertions) - Run manually before deployment
General (assertions) - Runs all tests for comprehensive validation

When using pcl test or setting FOUNDRY_PROFILE=<profile>, Foundry uses that profile’s configuration instead of the default one.

Running Tests Locally with Profiles

You can set the FOUNDRY_PROFILE environment variable to use specific profiles:

# Run only fast unit tests (recommended for local development)
FOUNDRY_PROFILE=unit-assertions pcl test

# Run fuzz tests
FOUNDRY_PROFILE=fuzz-assertions pcl test

# Run backtests (slowest, run before deployment)
FOUNDRY_PROFILE=backtest-assertions pcl test --ffi

# Run all assertion tests
FOUNDRY_PROFILE=assertions pcl test

If nothing is specified, the default profile is used.

Best Practices

Run tests on PR - Catch issues before merging
Use path filters - Only run tests when relevant files change
Cache dependencies - Speed up CI runs (Foundry toolchain action handles this)
Separate profiles - Keep assertion compilation separate from main project
Pin versions - Consider pinning the pcl version for reproducibility

Learn More:

Testing Assertions - Basic testing guide
Fuzz Testing - Test with random inputs
Foundry Book - Testing

​GitHub Actions Example

​Foundry Profile Configuration

​Recommended Profile Structure

​Example foundry.toml

​Profile Benefits

​Running Tests Locally with Profiles

​Best Practices

GitHub Actions Example

Foundry Profile Configuration

Recommended Profile Structure

Example foundry.toml

Profile Benefits

Running Tests Locally with Profiles

Best Practices