CI Linux incremental

remove deprecated name parameter in category ; capital for Coxeter #1886

Sign in to view logs

Triggered via pull request October 27, 2023 07:17

fchapoton

synchronize #36550

fchapoton:no-name-category-and-capital-Coxeter

Status Success

Total duration 2m 3s

Artifacts –

ci-linux-incremental.yml

on: pull_request

List changed packages

Matrix: site / linux

Waiting for pending jobs

Matrix: test / linux

Waiting for pending jobs