Skip to content
Lint

Addition of Chow ring ideal and Chow ring classes #16430

Sign in to view logs

Addition of Chow ring ideal and Chow ring classes

Addition of Chow ring ideal and Chow ring classes #16430

Triggered via pull request November 11, 2024 06:31
@25shriya25shriya
synchronize #38281
25shriya:chow_ring
Status Success
Total duration 4m 21s
Artifacts –

lint.yml

on: pull_request
Lint
4m 11s
Lint
Fit to window
Zoom out
Zoom in