indentation

Remove dummy `top` and `is_top` implementations from int domains #12348

Sign in to view logs

Triggered via pull request April 17, 2025 15:50

sim642

synchronize #1727

intdomain-no-top

Status Success

Total duration 1m 27s

Artifacts –

indentation.yml

on: pull_request

Matrix: indentation