Skip to content
Autolabel PRs

feat(Counterexamples): an invertible semimodule of different cardinality than the semiring #29230

Sign in to view logs

feat(Counterexamples): an invertible semimodule of different cardinality than the semiring

feat(Counterexamples): an invertible semimodule of different cardinality than the semiring #29230

Triggered via pull request August 22, 2026 19:14
@alreadydonealreadydone
opened #43048
Status Success
Total duration 1m 40s
Artifacts –

add_label_from_diff.yaml

on: pull_request_target
Add topic label
1m 36s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Add topic label
no labels to add
Add topic label
Applicable labels: #[]