Skip to content

refactor: Use cast preimages for cast predicate rewrites #17234

refactor: Use cast preimages for cast predicate rewrites

refactor: Use cast preimages for cast predicate rewrites #17234

Triggered via pull request July 29, 2026 08:54
Status Success
Total duration 1h 36m 35s
Artifacts

dependencies.yml

on: pull_request
Circular Dependency Check
3m 48s
Circular Dependency Check
Detect Unused Dependencies
1m 13s
Detect Unused Dependencies
Fit to window
Zoom out
Zoom in