Skip to content
Back to pull request #1501

Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C #3960

Sign in to view logs

Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C

Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C #3960

Triggered via pull request November 9, 2023 15:19
@zickgrafzickgraf
synchronize #1501
zickgraf:rigid_implies_closed
Status Failure
Total duration 3m 31s
Artifacts –

Tests.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test (ghcr.io/homalg-project/gap-docker-master:latest)
Process completed with exit code 2.
test (ghcr.io/homalg-project/gap-docker:latest)
Process completed with exit code 2.