Skip to content

Introduce Semiring and refactor finite sums #2098

Introduce Semiring and refactor finite sums

Introduce Semiring and refactor finite sums #2098

Triggered via pull request September 10, 2023 12:15
Status Success
Total duration 3m 9s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in