Config-options

Remove support for GAP 4.10 #1226

Sign in to view logs

Triggered via pull request October 3, 2025 14:19

wilfwilson

synchronize #866

wilfwilson:drop-GAP-4.10

Status Success

Total duration 36m 12s

Artifacts –

config_options.yml

on: pull_request

Matrix: all-options

Matrix: with-external-planarity-bliss