Repository navigation

Language: gate pipe operator |> on PROFILE≥8.5 (#22792) - #22809

Merged

PurHur merged 1 commit into

agent/issue-22792-pipe-operator-profile85

Jul 24, 2026

Merged

Language: gate pipe operator |> on PROFILE≥8.5 (#22792)#22809
PurHur merged 1 commit into
masterfrom
agent/issue-22792-pipe-operator-profile85

Commits on Jul 24, 2026
- Language: gate pipe operator |> on PROFILE≥8.5 (#22792)
  
  PurHur
  and
  cursoragent
  committed
  af0e30f