Skip to content

feat(ModelTheory): add elementary extension-pair properties #29

feat(ModelTheory): add elementary extension-pair properties

feat(ModelTheory): add elementary extension-pair properties #29

Triggered via pull request June 22, 2026 09:54
Status Success
Total duration 34s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.05 KB
sha256:8780b793d63fee4323aa484ef1b79d3ab07312945020be304c40f102bc67baa2