Skip to content
Build & Test

Addition of Chow ring ideal and Chow ring classes #15328

Sign in to view logs

Addition of Chow ring ideal and Chow ring classes

Addition of Chow ring ideal and Chow ring classes #15328

Triggered via pull request September 17, 2024 07:00
@25shriya25shriya
synchronize #38281
25shriya:chow_ring
Status Cancelled
Total duration 1m 16s
Artifacts –

build.yml

on: pull_request
test-new
1m 2s
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.