OscarCI

Add many `@req !is_trivial` checks #2743

Sign in to view logs

Triggered via pull request October 10, 2024 15:47

lgoettgens

opened #1857

lgoettgens:lg/req-is-not-trivial

Status Failure

Total duration 16m 21s

Artifacts –

oscar.yml

on: pull_request

Matrix: test-oscar

Annotations

4 errors

Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250

Skipping tests because resolving package versions failed:

Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250

Skipping tests because resolving package versions failed:

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

Process completed with exit code 1.

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

Process completed with exit code 1.