Skip to content

refactor: Use cast preimages for cast predicate rewrites #17284

refactor: Use cast preimages for cast predicate rewrites

refactor: Use cast preimages for cast predicate rewrites #17284

Triggered via pull request July 29, 2026 18:27
Status Success
Total duration 10m 9s
Artifacts

dependencies.yml

on: pull_request
Circular Dependency Check
7m 0s
Circular Dependency Check
Detect Unused Dependencies
1m 10s
Detect Unused Dependencies
Fit to window
Zoom out
Zoom in