Back to pull request #1538

Fix `ComplexPolyRing` definition #1739

Sign in to view logs

Triggered via pull request September 18, 2023 12:23

lgoettgens

opened #1538

lgoettgens:lg/complexpoly

Status Success

Total duration 16m 40s

Artifacts –

CI.yml

on: pull_request

Matrix: test