Skip to content
Commit Verification

[Merged by Bors] - feat(Algebra/Module/Submodule): Symmetric submodules are modular elements in the lattice of submodules over a semiring #27124

Sign in to view logs

[Merged by Bors] - feat(Algebra/Module/Submodule): Symmetric submodules are modular elements in the lattice of submodules over a semiring

[Merged by Bors] - feat(Algebra/Module/Submodule): Symmetric submodules are modular elements in the lattice of submodules over a semiring #27124

Triggered via pull request April 13, 2026 16:14
@martinwintermathmartinwintermath
synchronize #36689
martinwintermath:submodule-modular-element
Status Success
Total duration 38s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
35s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.07 KB
sha256:537dd533ebd4c8d5bc410a609c79ebb767b80bfe8821a17506332081f6a1568f