Skip to content

Add derivation for *AdjunctionMapWithGivenTensorProduct #3914

Add derivation for *AdjunctionMapWithGivenTensorProduct

Add derivation for *AdjunctionMapWithGivenTensorProduct #3914

Triggered via pull request October 17, 2023 09:07
Status Cancelled
Total duration 9m 3s
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
Fit to window
Zoom out
Zoom in

Annotations

4 errors
test (ghcr.io/homalg-project/gap-docker:latest)
Canceling since a higher priority waiting request for 'Tests-1492-1' exists
test (ghcr.io/homalg-project/gap-docker:latest)
The operation was canceled.
test (ghcr.io/homalg-project/gap-docker-master:latest)
Canceling since a higher priority waiting request for 'Tests-1492-1' exists
test (ghcr.io/homalg-project/gap-docker-master:latest)
The operation was canceled.