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"
