Skip to content
Add "ready-to-merge" and "delegated" label

chore(Combinatorics/SimpleGraph): avoid structure relation predicates #231974

Sign in to view logs

chore(Combinatorics/SimpleGraph): avoid structure relation predicates

chore(Combinatorics/SimpleGraph): avoid structure relation predicates #231974

Triggered via issue April 14, 2026 17:11
@YaelDilliesYaelDillies
commented on #37878 77d929d
Status Skipped
Total duration 1s
Artifacts –

maintainer_bors.yml

on: issue_comment
Add ready-to-merge or delegated label
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in
⚡