Skip to content
Comparator CI (a trustworthy judge for Lean proofs)

Formalize chordal claw-free acyclic sink real-rootedness #3244

Sign in to view logs

Formalize chordal claw-free acyclic sink real-rootedness

Formalize chordal claw-free acyclic sink real-rootedness #3244

Triggered via pull request September 13, 2026 07:54
@PerAlexanderssonPerAlexandersson
synchronize #678
feat/issue-677-chordal-acyclic-sinks
Status Cancelled
Total duration 2m 46s
Artifacts –

comparator.yml

on: pull_request
comparator
2m 43s
comparator
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
comparator
The run was canceled by @PerAlexandersson.
Comparator CI (a trustworthy judge for Lean proofs)
The run was canceled by @PerAlexandersson.
comparator
The operation was canceled.
comparator
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/