Tests

Introduce AsCapCategoryObject and AsCapCategoryMorphism #4012

Sign in to view logs

Triggered via pull request December 1, 2023 14:00

zickgraf

synchronize #1511

zickgraf:AsCapCategoryObject

Status Success

Total duration 13m 34s

Artifacts –

Tests.yml

on: pull_request

Matrix: test