Nix CI for bundle rocq-master

Stop using "Proof term" in output test #399

Sign in to view logs

Triggered via pull request July 11, 2025 12:08

SkySkimmer

opened #191

Status Failure

Total duration 2h 13m 34s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nix-action-rocq-master.yml

on: pull_request_target

mathcomp-bigenough

mathcomp-finmap

coq-hammer-tactics

coq-performance-tests

neural-net-coq-interp

rocq-lean-import

stdlib-refman-html

hierarchy-builder

relation-algebra

stalmarck-tactic

mathcomp-ssreflect

mathcomp-fingroup

metarocq-common

fiat-crypto-legacy

category-theory

mathcomp-algebra

metarocq-template-rocq

quickchick-test

mathcomp-solvable

mathcomp-classical

metarocq-safechecker

metarocq-template-pcuic

metarocq-translations

mathcomp-algebra-tactics

metarocq-erasure

metarocq-safechecker-plugin

metarocq-quotation

fiat-crypto-ocaml

mathcomp-character

mathcomp-analysis

mathcomp-reals-stdlib

metarocq-erasure-plugin

mathcomp-analysis-stdlib

Annotations

11 errors

Process completed with exit code 1.

rocq-elpi-test

Process completed with exit code 1.

mathcomp-bigenough

Process completed with exit code 1.

mathcomp-finmap

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

relation-algebra

Process completed with exit code 1.

Process completed with exit code 1.