Bump rupicola from 1f7e333 to 41662e4
#4923
Annotations
21 warnings
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 4-line warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 4-line warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
all-except-js-of-ocaml
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 15, characters 25-32:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 4-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 53, characters 35-42:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
deps
Could not find a terminator for 6-line warning:
File "./src/coqutil/Tactics/case_match.v", line 62, characters 4-33:
Warning: Command "Undo." is not recommended in batch mode. In particular,
going back in the document is not efficient in batch mode due to Coq not
caching previous states for memory optimization reasons. If your use is
intentional, you may want to disable this warning and pass the
"-async-proofs-cache force" option to Coq. [undo-batch-mode,default]
|
|
deps
Could not find a terminator for 6-line warning:
File "./src/coqutil/Tactics/case_match.v", line 53, characters 4-33:
Warning: Command "Undo." is not recommended in batch mode. In particular,
going back in the document is not efficient in batch mode due to Coq not
caching previous states for memory optimization reasons. If your use is
intentional, you may want to disable this warning and pass the
"-async-proofs-cache force" option to Coq. [undo-batch-mode,default]
|
|
deps
Could not find a terminator for 6-line warning:
File "./src/coqutil/Tactics/case_match.v", line 44, characters 4-29:
Warning: Command "Undo." is not recommended in batch mode. In particular,
going back in the document is not efficient in batch mode due to Coq not
caching previous states for memory optimization reasons. If your use is
intentional, you may want to disable this warning and pass the
"-async-proofs-cache force" option to Coq. [undo-batch-mode,default]
|
|
Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516
pkgconf 2.4.3 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|
Set up job
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
18s
18s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set up OCaml
49s
49s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516
8s
8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install system dependencies
7s
7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam update
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam pin add coq ${COQ_VERSION}
6m 49s
6m 49s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam install js_of_ocaml
2m 5s
2m 5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
echo build params
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
deps
30m 51s
30m 51s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
all-except-js-of-ocaml
2h 13m 16s
2h 13m 16s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
pre-standalone-extracted
15s
15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
all
3m 59s
3m 59s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run find . -name "*.timing" | xargs tar -czvf timing-files.tgz
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload generated timing files
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install-standalone-unified-ocaml
21s
21s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install-standalone-js-of-ocaml
20s
20s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
only-test-amd64-files-lite
3m 27s
3m 27s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload OCaml files
44s
44s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload js_of_ocaml files
21s
21s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload standalone files
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload standalone js files
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install
44s
44s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install-without-bedrock2
36s
36s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install-dev
2m 2s
2m 2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
display timing info
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
display per-line timing info
6s
6s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Set up OCaml
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v4
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading