Back to pull request #1384

Hilbert axioms and geometry theorems #554

Sign in to view logs

Re-run triggered January 24, 2025 01:36

mn200

#1384

lizdoki:develop

Status Success

Total duration 3h 21m 30s

Artifacts –

docker-ci-for-pr.yml

on: pull_request

Annotations

4 warnings

build-mosml

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

build-stdknl

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

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

build-otknl

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