NemoCI

add divrem for EuclideanRingResidueRing #1066

Sign in to view logs

Triggered via pull request December 5, 2024 08:40

fieker

synchronize #1921

divrem

Status Success

Total duration 14m 39s

Artifacts –

nemo.yml

on: pull_request

Matrix: test-oscar

Annotations

5 warnings

generatematrix

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

matching: [Nemo#master] - ubuntu-latest, julia ~1.6.0-0

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

[Nemo]#release - ubuntu-latest, julia ~1.6.0-0

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

matching: [Nemo#master] - ubuntu-latest, julia ~1.10.0-0

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

[Nemo]#release - ubuntu-latest, julia ~1.10.0-0

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636