Upload standalone to CI #10
Triggered via pull request
October 20, 2023 00:29
JasonGross
Status
Cancelled
Total duration
3h 14m 35s
Artifacts
1
standalone.yml
on: pull_request
Matrix: build
standalone-check-all
2s
Annotations
11 errors and 4 warnings
|
build (3.5, macos-latest)
Cache entry deserialization failed, entry ignored
|
|
build (3.5, macos-latest)
Cache entry deserialization failed, entry ignored
|
|
build (3.5, macos-latest)
You are using pip version 20.3.4, however version 23.3 is available.
You should consider upgrading via the 'pip install --upgrade pip' command.
|
|
build (3.5, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.5-ubuntu-latest-standalone' exists
|
|
build (3.10, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.10-ubuntu-latest-standalone' exists
|
|
build (3.7, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.7-ubuntu-latest-standalone' exists
|
|
build (3.8, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.8-ubuntu-latest-standalone' exists
|
|
build (3.11, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.11-ubuntu-latest-standalone' exists
|
|
build (3.9, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.9-ubuntu-latest-standalone' exists
|
|
build (3.6, ubuntu-latest)
Canceling since a higher priority waiting request for 'Build Standalone-3.6-ubuntu-latest-standalone' exists
|
|
standalone-check-all
Process completed with exit code 1.
|
|
build (3.10, windows-latest)
No files were found with the provided path: dist/coq-bug-minimizer/coq-bug-minimizer
dist/coq-import-inliner/coq-import-inliner
dist/coq-require-minimizer/coq-require-minimizer. No artifacts will be uploaded.
|
|
build (3.9, windows-latest)
No files were found with the provided path: dist/coq-bug-minimizer/coq-bug-minimizer
dist/coq-import-inliner/coq-import-inliner
dist/coq-require-minimizer/coq-require-minimizer. No artifacts will be uploaded.
|
|
build (3.11, windows-latest)
No files were found with the provided path: dist/coq-bug-minimizer/coq-bug-minimizer
dist/coq-import-inliner/coq-import-inliner
dist/coq-require-minimizer/coq-require-minimizer. No artifacts will be uploaded.
|
|
build (3.8, windows-latest)
No files were found with the provided path: dist/coq-bug-minimizer/coq-bug-minimizer
dist/coq-import-inliner/coq-import-inliner
dist/coq-require-minimizer/coq-require-minimizer. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
standalone
Expired
|
6.19 MB |
|