Check workflows

feat(Algebra): unmixed thm of Cohen-Macaulay ring #3378

Sign in to view logs

Triggered via pull request September 10, 2025 05:38

Thmoas-Guan

synchronize #26957

Thmoas-Guan:unmixed-thm-of-CM-ring

Status Success

Total duration 18s

Artifacts –

actionlint.yml

on: pull_request

check workflows generated by build.in.yml