# .github/workflows/formal.yml — example CI job for the open-source flow
name: formal
on: [push, pull_request]
jobs:
  sby:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Install OSS CAD Suite
        uses: YosysHQ/setup-oss-cad-suite@v3
      - name: Run all formal jobs
        run: |
          for f in $(find examples -name '*.sby'); do
            (cd $(dirname $f) && sby -f $(basename $f)) || exit 1
          done