Skip to content
Tests

Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange #4026

Sign in to view logs

Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange

Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange #4026

Triggered via pull request December 4, 2023 10:19
@zickgrafzickgraf
synchronize #1515
zickgraf:master
Status Success
Total duration 12m 58s
Artifacts –

Tests.yml

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