Skip to content
Build & Test

Addition of Chow ring ideal and Chow ring classes #15445

Sign in to view logs

Addition of Chow ring ideal and Chow ring classes

Addition of Chow ring ideal and Chow ring classes #15445

Triggered via pull request September 23, 2024 10:44
@25shriya25shriya
synchronize #38281
25shriya:chow_ring
Status Cancelled
Total duration 2m 46s
Artifacts –

build.yml

on: pull_request
test-new
2m 27s
test-new
Matrix: test-long
Matrix: test-mod
coverage-report
0s
coverage-report
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test-new
Canceling since a higher priority waiting request for 'Build & Test-refs/pull/38281/merge' exists
test-new
The operation was canceled.