Skip to content

Star and acyclic coloring -- enhanced edition #763

Star and acyclic coloring -- enhanced edition

Star and acyclic coloring -- enhanced edition #763

Triggered via pull request April 1, 2025 07:10
@gdallegdalle
synchronize #214
no_dict
Status Cancelled
Total duration 1m 14s
Artifacts

Documentation.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Documentation
Canceling since a higher priority waiting request for Documentation-refs/pull/214/merge exists
build
Process completed with exit code 1.
build
Canceling since a higher priority waiting request for Documentation-refs/pull/214/merge exists