Skip to content
Coq Tests

Fix 8.4 tests #29

Sign in to view logs

Fix 8.4 tests

Fix 8.4 tests #29

Triggered via pull request April 13, 2024 16:27
@whonorewhonore
opened #349
fix-8.4-tests
Status Cancelled
Total duration 1m 47s
Artifacts –

coq-tests.yml

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

Annotations

33 errors and 17 warnings
Coq integration tests (8.4, 3.6)
Process completed with exit code 1.
Coq integration tests (8.15, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.15, 3.6)
The operation was canceled.
Coq integration tests (8.11, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.11, 3.6)
The operation was canceled.
Coq integration tests (8.7, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.7, 3.6)
The operation was canceled.
Coq integration tests (8.8, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.8, 3.6)
The operation was canceled.
Coq integration tests (8.13, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.13, 3.6)
The operation was canceled.
Coq integration tests (8.17, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.17, 3.6)
The operation was canceled.
Coq integration tests (8.19, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.19, 3.6)
The operation was canceled.
Coq integration tests (8.18, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.18, 3.6)
The operation was canceled.
Coq integration tests (8.10, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.10, 3.6)
The operation was canceled.
Coq integration tests (8.5, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.5, 3.6)
The operation was canceled.
Coq integration tests (8.9, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.9, 3.6)
The operation was canceled.
Coq integration tests (8.12, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.12, 3.6)
The operation was canceled.
Coq integration tests (8.16, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.16, 3.6)
The operation was canceled.
Coq integration tests (8.6, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.6, 3.6)
The operation was canceled.
Coq integration tests (8.14, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (8.14, 3.6)
The operation was canceled.
Coq integration tests (master, 3.6)
The job was canceled because "_8_4_3_6" failed.
Coq integration tests (master, 3.6)
The operation was canceled.
Coq integration tests (8.4, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.15, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.11, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.7, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.8, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.13, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.17, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.19, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.18, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.10, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.5, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.9, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.12, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.16, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.6, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.14, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (master, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.