Skip to content
Build & Test

Addition of Chow ring ideal and Chow ring classes #15469

Sign in to view logs

Addition of Chow ring ideal and Chow ring classes

Addition of Chow ring ideal and Chow ring classes #15469

Triggered via pull request September 24, 2024 05:16
@25shriya25shriya
synchronize #38281
25shriya:chow_ring
Status Cancelled
Total duration 6m 10s
Artifacts –

build.yml

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