Tests

Implement axioms on relations, object properties, and xrefs #1026

Sign in to view logs

Triggered via pull request December 12, 2024 13:26

cthoyt

synchronize #264

enable-axioms

Status Success

Total duration 1m 13s

Artifacts –

tests.yml

on: pull_request

Matrix: Documentation

Matrix: Code Quality

Matrix: Tests

Annotations

11 warnings

Code Quality (3.10, pyroma)

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

Code Quality (3.10, lint)

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

Code Quality (3.12, pyroma)

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

Code Quality (3.12, lint)

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

Code Quality (3.12, manifest)

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

Code Quality (3.10, manifest)

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

Code Quality (3.10, mypy)

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

Code Quality (3.12, mypy)

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

Documentation (3.12)

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

Tests (ubuntu-latest, 3.10)

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

Tests (ubuntu-latest, 3.12)

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