Enforce single-commit PR

Migrate `MSet` to use quotients to eliminate axioms #265

Sign in to view logs

Triggered via pull request June 24, 2026 12:24

oskgo

opened #1061

migrate-to-quotient

Status Success

Total duration 8s

Artifacts –

enforce-single-commit.yml

on: pull_request

check-commit-count