Merge pull request #75 from NicholasBHubbard/add-lemma-length_app_comm #314

Annotations

1 warning

Set up job

Determine which commit to initially checkout

Git checkout

14s

Determine which commit to test

Git checkout

Cachix install

Cachix setup coq

Checking presence of CI target atbr

1m 2s

Building/fetching previous CI target: coq

Building/fetching previous CI target: stdlib

Building/fetching current CI target

Post Cachix setup coq

Post Git checkout

Complete job