Use forward compatible univ names in test for #16803 #324

Annotations

1 warning

Set up job

Determine which commit to initially checkout

Git checkout

26s

Determine which commit to test

Git checkout

Cachix install

Cachix setup coq

Getting derivation for current job (category-theory)

1m 36s

Error reporting

Failure check

Checking presence of CI target for current job

Building/fetching previous CI target: coq

Building/fetching previous CI target: mathcomp-ssreflect

Building/fetching previous CI target: equations

Building/fetching current CI target

Post Cachix setup coq

Post Git checkout

Complete job