Skip to content

erge branch 'main' of https://github.com/manifoldmarkets/manifold #20514

erge branch 'main' of https://github.com/manifoldmarkets/manifold

erge branch 'main' of https://github.com/manifoldmarkets/manifold #20514

Triggered via push February 16, 2025 20:01
Status Cancelled
Total duration 1m 46s
Artifacts

check.yml

on: push
Static analysis
1m 37s
Static analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Static analysis
Canceling since a higher priority waiting request for 'Check PRs-refs/heads/main' exists
Static analysis
The operation was canceled.