feat: add iso_oscar_singular_[coeff/poly]_ring #16115

Sign in to view logs

Summary
Jobs
- deploy_docs
Run details
- Usage
- Workflow file

Triggered via pull request November 23, 2024 08:27

thofma

opened #4342

th/iso

Status Cancelled

Total duration 7m 2s

Artifacts –

Docu.yml

on: pull_request

Annotations

2 errors

deploy_docs

Canceling since a higher priority waiting request for 'Documentation-refs/pull/4342/merge-true' exists

deploy_docs

The operation was canceled.