| matrix: | |
| platform: [ "debian11", "ubuntu2204", "macos", "macos_arm64" ] | |
| bazel: [ "7.x", "8.x" ] | |
| tasks: | |
| verify_targets: | |
| name: Verify build targets | |
| platform: ${{ platform }} | |
| bazel: ${{ bazel }} | |
| build_flags: | |
| - '--features=layering_check' | |
| build_targets: | |
| - "@cudd//:cudd" |