Linter

Propagate predicate types to pattern variables #127

Sign in to view logs

Triggered via pull request April 5, 2026 11:57

dak2

synchronize #110

pattern-variable-type-propagation

Status Success

Total duration 43s

Artifacts –

linter.yml

on: pull_request