Check for empty PR

feat: make `Quot` live in `Sort (max 1 u)` rather than `Sort u` #6734

Sign in to view logs

Triggered via pull request September 4, 2026 12:37

opened #15023

arthur-adjedj:fixQuot2

Status Success

Total duration 50s

Artifacts –

check-empty-pr.yml

on: pull_request