Check workflows

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

Sign in to view logs

Triggered via pull request August 27, 2025 06:03

Thmoas-Guan

synchronize #26957

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

Status Success

Total duration 19s

Artifacts –

actionlint.yml

on: pull_request

check workflows generated by build.in.yml