Skip to content

Fix indirect structural subtype checks for types with type members#586

Open
MavenRain wants to merge 1 commit into
zio:developfrom
MavenRain:fix/481-subtype-refined-type
Open

Fix indirect structural subtype checks for types with type members#586
MavenRain wants to merge 1 commit into
zio:developfrom
MavenRain:fix/481-subtype-refined-type

Conversation

@MavenRain

Copy link
Copy Markdown

Closes #481

MilosM348 added a commit to MilosM348/izumi-reflect that referenced this pull request May 7, 2026
The previous run on 552e2f2 failed at "Prepare all required actions" with

  ##[error]The action carabiner-dev/actions@360ffa1eb909b...
  is not allowed in zio/izumi-reflect because all actions must be from
  a repository owned by zio, ...

This is a GitHub Actions allowlist check that fires on transitive
`uses:` resolution. The same workflow file is shared with other open
PRs (zio#586, zio#592) that passed CI on April 8 / May 1 -- nothing in this
PR's diff touches `.github/workflows` or any action reference. The
chain that resolves to `carabiner-dev/actions/ampel/verify` appears
to be transitively pulled in from one of the pinned actions and the
allowlist check seems to be intermittent.

Empty commit to bump the head SHA so the workflow re-resolves all
`uses:` references with a fresh action cache. If it fails again with
the same allowlist error, the fix has to come from a maintainer who
can either pin the offending transitive action to a specific SHA or
add `carabiner-dev/*` to the repository's allowed-actions list.

No code changes.

Signed-off-by: Milos M <MilosM348@users.noreply.github.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Subtype relation for refined type fails

1 participant