Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to isCountable.pickleK by

Ignoring canonical projection to isCountable.unpickle by

Ignoring canonical projection to isCountable.pickle by

Ignoring canonical projection to eqpP by hasDecEq.eqP in

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to isCountable.pickleK by

Ignoring canonical projection to isCountable.unpickle by

Ignoring canonical projection to isCountable.pickle by

Ignoring canonical projection to eqpP by hasDecEq.eqP in

Failed to download action 'https://api.github.com/repos/coq-community/docker-coq-action/tarball/56a68e27536b87fb8d04e132c155b8bd144e6a1e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

Back off 29.731 seconds before retry.

Failed to download action 'https://api.github.com/repos/coq-community/docker-coq-action/tarball/56a68e27536b87fb8d04e132c155b8bd144e6a1e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

Back off 23.665 seconds before retry.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to GRing.scalable_linear by

Ignoring canonical projection to pair_of_and by

Ignoring canonical projection to isCountable.pickleK by

Ignoring canonical projection to isCountable.unpickle by

Ignoring canonical projection to isCountable.pickle by