Skip to content
Lint

Addition of Chow ring ideal and Chow ring classes #13883

Sign in to view logs

Addition of Chow ring ideal and Chow ring classes

Addition of Chow ring ideal and Chow ring classes #13883

Triggered via pull request June 27, 2024 14:27
@25shriya25shriya
synchronize #38281
25shriya:chow_ring
Status Failure
Total duration 4m 29s
Artifacts –

lint.yml

on: pull_request
Lint
3m 57s
Lint
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint
Process completed with exit code 1.