feat(coq): add basic config for Coq #104
Fuco1Annotations
15 errors and 9 warnings
|
build (29.1)
Process completed with exit code 1.
|
|
build (29.2)
The job was canceled because "_29_1" failed.
|
|
build (29.2)
The operation was canceled.
|
|
build (29.4)
The job was canceled because "_29_1" failed.
|
|
build (29.4)
The operation was canceled.
|
|
build (29.3)
The job was canceled because "_29_1" failed.
|
|
build (29.3)
The operation was canceled.
|
|
build (27.1)
The job was canceled because "_29_1" failed.
|
|
build (27.1)
The operation was canceled.
|
|
build (28.1)
The job was canceled because "_29_1" failed.
|
|
build (28.1)
The operation was canceled.
|
|
build (28.2)
The job was canceled because "_29_1" failed.
|
|
build (28.2)
The operation was canceled.
|
|
build (27.2)
The job was canceled because "_29_1" failed.
|
|
build (27.2)
The operation was canceled.
|
|
build (snapshot)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (29.1)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (29.2)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (29.4)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (29.3)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (27.1)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (28.1)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (28.2)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
|
build (27.2)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|