Skip to content

fix(upstream): many predicates -> clauses rename #572

fix(upstream): many predicates -> clauses rename

fix(upstream): many predicates -> clauses rename #572

Triggered via push July 29, 2026 12:17
Status Success
Total duration 2m 3s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in