Skip to content
Synchronize labels

build/pkgs/nauty: Update to 2.8.8; use VERSION in all upstream_urls. #16747

Sign in to view logs

build/pkgs/nauty: Update to 2.8.8; use VERSION in all upstream_urls.

build/pkgs/nauty: Update to 2.8.8; use VERSION in all upstream_urls. #16747

Triggered via pull request December 23, 2023 20:53
@mkoeppemkoeppe
labeled #36774
Status Skipped
Total duration 2s
Artifacts –

sync_labels.yml

on: pull_request_target
synchronize
0s
synchronize
Fit to window
Zoom out
Zoom in