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

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

Sign in to view logs

Formalize chordal claw-free acyclic sink real-rootedness

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

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

comparator.yml

on: pull_request
comparator
25m 23s
comparator
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Comparator CI (a trustworthy judge for Lean proofs)
The run was canceled by @PerAlexandersson.
comparator
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/