Skip to content

Smarter CI

Smarter CI #1

Triggered via pull request August 5, 2023 14:48
Status Success
Total duration 10m 42s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-tests.yml

on: pull_request
Matrix: Coq integration tests
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
Coq integration tests (8.4, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.10, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.16, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.5, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.13, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.17, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.12, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.8, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.14, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.11, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.7, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.9, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.15, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (8.6, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".
Coq integration tests (master, 3.6)
CPython version >=3.6.0 <3.7.0-0 is not supported by actions/setup-python. This probably means you are using a deprecated version. If this is not the case, you may suppress the warning setting input "allow-build" to either "info" or "allow".