bump rupicola (requires Coq >= 8.18) (#1818) #377
andres-erbsencoq-docker.yml
on: push
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
docker-check-all
6s
Annotations
5 errors and 24 warnings
|
docker-master
Makefile.coq:848: src/Coqprime/Tactic/Tactic.v
|
|
docker-master
Makefile.coq.noex:848: /github/workspace/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
|
|
docker-master
Makefile.coq.noex:417: all
|
|
docker-master
Makefile:68: noex
|
|
docker-master
Makefile:87: bedrock2_noex
|
|
docker-master
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/RecordSetters.v", line 410, characters 38-71:
Warning: This expression should have type unit but has type
bool. [not-unit,ltac2,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/RecordSettersUsingExistingGetters.v", line 361, characters 38-71:
Warning: This expression should have type unit but has type
bool. [not-unit,ltac2,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 328, characters 12-25:
Warning: Notation firstn_length is deprecated since 8.20.
Use length_firstn instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 328, characters 12-25:
Warning: Notation firstn_length is deprecated since 8.20.
Use length_firstn instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 328, characters 12-25:
Warning: Notation firstn_length is deprecated since 8.20.
Use length_firstn instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 340, characters 14-24:
Warning: Notation app_length is deprecated since 8.20.
Use length_app instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 340, characters 14-24:
Warning: Notation app_length is deprecated since 8.20.
Use length_app instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 340, characters 14-24:
Warning: Notation app_length is deprecated since 8.20.
Use length_app instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 437, characters 14-24:
Warning: Notation map_length is deprecated since 8.20.
Use length_map instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
docker-master
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/List.v", line 437, characters 14-24:
Warning: Notation map_length is deprecated since 8.20.
Use length_map instead.
[deprecated-syntactic-definition-since-8.20,deprecated-since-8.20,deprecated-syntactic-definition,deprecated,default]
|
|
publish-standalone-dry-run
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
generated-files (master)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-standalone (master, dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-wasm-of-ocaml (master, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-js-of-ocaml (master, 4.11.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
deploy-js-wasm-of-ocaml
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
validate-docker-master
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
standalone-haskell (master)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-amd64
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionHaskell-master
Expired
|
2.37 GB |
|
|
ExtractionHaskell-source-master
Expired
|
628 MB |
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
994 MB |
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
1.35 GB |
|
|
ExtractionJsOfOCaml-source-master
Expired
|
230 MB |
|
|
ExtractionOCaml-master
Expired
|
4.03 GB |
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1020 MB |
|
|
fiat-html-js-of-ocaml
Expired
|
92 MB |
|
|
fiat-html-wasm-of-ocaml
Expired
|
21.7 MB |
|
|
standalone-docker-coq-dev
Expired
|
45.2 MB |
|