Warn about unsupported operations in DummyCategory and support "list_of_lists_of_morphisms" in CategoryConstructor #3641

Sign in to view logs

Triggered via pull request August 14, 2023 13:53

zickgraf

opened #1415

zickgraf:master

Status Success

Total duration 18m 21s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

Tests.yml

on: pull_request

Matrix: test