Skip to content

Merge pull request #907 from AayushSabharwal/as/discprob-ctor #2802

Merge pull request #907 from AayushSabharwal/as/discprob-ctor

Merge pull request #907 from AayushSabharwal/as/discprob-ctor #2802

Triggered via push January 16, 2025 10:43
Status Cancelled
Total duration 1m 6s
Artifacts

FormatCheck.yml

on: push
Format Check  /  ...  /  Check Formatting
46s
Format Check / Check Formatting / Check Formatting
Format Check  /  Comment Formatting Suggestions on PR
0s
Format Check / Comment Formatting Suggestions on PR
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Format Check / Check Formatting / Check Formatting
Canceling since a higher priority waiting request for 'refs/heads/master:Format Check' exists
Format Check / Check Formatting / Check Formatting
The operation was canceled.