Build universal (x86_64+arm64) binaries for MacOS #4488
JasonGrosscoq-macos.yml
on: pull_request
Annotations
65 warnings
|
macOS 14 (arm64)
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/.
|
|
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/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 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)
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/.
|
|
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]
|
|
combine-standalone
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-standalone (-x86_64, macos-12)
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 (-arm64, macos-14)
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 (-x86_64, macos-13)
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 (macos-12)
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 (-arm64, macos-latest)
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 (-x86_64, macos-14)
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 (-x86_64, macos-11)
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 (macos-13)
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 (macos-14)
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 (macos-11)
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 (-arm64)
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 (-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 (-x86_64)
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 (-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']
|
|
test-standalone (-x86_64, macos-latest)
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
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
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 (macos-latest)
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/.
|
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "ExtractionJsOfOCaml-arm64", "ExtractionJsOfOCaml-x86_64", "ExtractionOCaml-arm64", "ExtractionOCaml-x86_64", "standalone-html-macos-arm64", "standalone-html-macos-x86_64", "standalone-macos", "standalone-macos-arm64", "standalone-macos-x86_64".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionJsOfOCaml-arm64
Expired
|
230 MB |
|
|
ExtractionJsOfOCaml-x86_64
Expired
|
993 MB |
|
|
ExtractionOCaml-arm64
Expired
|
2.41 GB |
|
|
ExtractionOCaml-x86_64
Expired
|
2.38 GB |
|
|
standalone-html-macos-arm64
Expired
|
23.3 KB |
|
|
standalone-html-macos-x86_64
Expired
|
91.7 MB |
|
|
standalone-macos
Expired
|
46.4 MB |
|
|
standalone-macos-arm64
Expired
|
23.3 MB |
|
|
standalone-macos-x86_64
Expired
|
23.1 MB |
|