Nix CI for bundle coq-master

[CI] Cachix tokens #12

Sign in to view logs

Triggered via push January 25, 2025 18:57

proux01

master

Status Failure

Total duration 6m 10s

Artifacts –

nix-action-coq-master.yml

on: push

mathcomp-algebra-tactics

hierarchy-builder

mathcomp-ssreflect

mathcomp-algebra

mathcomp-bigenough

mathcomp-finmap

mathcomp-real-closed

Annotations

8 warnings

mathcomp-zify

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

mathcomp-algebra-tactics

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

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

hierarchy-builder

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

mathcomp-ssreflect

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