CI

CI #239

Sign in to view logs

Triggered via schedule December 24, 2024 08:24

tchajed

master

Status Failure

Total duration 2m 29s

Artifacts –

coq-action.yml

on: schedule

Matrix: build

Annotations

7 warnings

build (coqorg/coq:dev)

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

build (coqorg/coq:dev)

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:8.18)

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

build (coqorg/coq:8.14)

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

build (coqorg/coq:8.19)

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

build (coqorg/coq:8.17)

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

build (coqorg/coq:8.15)

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