Skip to content
Commit Verification

refactor(Algebra): replace SemilinearEquivClass.semilinearEquiv by structure-specific coercions #26742

Sign in to view logs

refactor(Algebra): replace SemilinearEquivClass.semilinearEquiv by structure-specific coercions

refactor(Algebra): replace SemilinearEquivClass.semilinearEquiv by structure-specific coercions #26742

Triggered via pull request April 12, 2026 10:20
@YaelDilliesYaelDillies
opened #37944
YaelDillies:no_linear_equiv_class_coe
Status Success
Total duration 39s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.06 KB
sha256:249c808501c0990b0b8eb8b95d6392af7077a2091ecf3d41243913e7763938cf