Skip to content

CENTRAL_GROUPOID: Resolve all remaining implications of the form 168 => X #213

CENTRAL_GROUPOID: Resolve all remaining implications of the form 168 => X

CENTRAL_GROUPOID: Resolve all remaining implications of the form 168 => X #213

Triggered via issue October 5, 2024 18:21
Status Skipped
Total duration 1s
Artifacts

03-propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in