Check workflows

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

Sign in to view logs

Triggered via pull request September 10, 2025 09:18

Thmoas-Guan

synchronize #26957

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

Status Success

Total duration 23s

Artifacts –

actionlint.yml

on: pull_request

check workflows generated by build.in.yml