[CI] [debian] Containerize testing of standalone #4544
JasonGrosscoq-macos.yml
on: pull_request
Annotations
49 warnings
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
Could not find a terminator for 3-line warning:
File "./src/coqutil/Semantics/OmniSmallstepCombinators.v", line 88, characters 2-139:
Warning: Q cannot be defined because it is informative and always' is not.
[cannot-define-projection,records,default]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, 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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 14 (arm64)
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]
|
|
macOS 11 (x86_64)
A brownout will take place on June 19 2024, 12:00 PM – 6:00 PM EST to raise awareness of the upcoming macOS-11 environment removal.
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, 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]
|
|
macOS 11 (x86_64)
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, 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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
macOS 11 (x86_64)
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]
|
|
publish-standalone (-x86_64)
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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 (-x86_64)
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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 (-arm64)
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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 (-arm64)
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', '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']
|
|
test-standalone (-x86_64, macos-11)
A brownout will take place on June 19 2024, 12:00 PM – 6:00 PM EST to raise awareness of the upcoming macOS-11 environment removal.
|
|
test-standalone (macos-11)
A brownout will take place on June 19 2024, 12:00 PM – 6:00 PM EST to raise awareness of the upcoming macOS-11 environment removal.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionJsOfOCaml-arm64
Expired
|
6.21 MB |
|
|
ExtractionJsOfOCaml-x86_64
Expired
|
138 MB |
|
|
ExtractionOCaml-arm64
Expired
|
335 MB |
|
|
ExtractionOCaml-x86_64
Expired
|
303 MB |
|
|
standalone-html-macos-arm64
Expired
|
8.04 KB |
|
|
standalone-html-macos-x86_64
Expired
|
4.27 MB |
|
|
standalone-macos
Expired
|
13.8 MB |
|
|
standalone-macos-arm64
Expired
|
7.33 MB |
|
|
standalone-macos-x86_64
Expired
|
6.44 MB |
|