Skip to content
CI

fix 3-pane mode for small frame heights #645

Sign in to view logs

fix 3-pane mode for small frame heights

fix 3-pane mode for small frame heights #645

Triggered via pull request April 17, 2024 07:24
@hendriktewshendriktews
synchronize #761
hendriktews:three
Status Cancelled
Total duration 2m 42s
Artifacts –

test.yml

on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

131 errors and 18 warnings
check-doc-magic (29.2)
Process completed with exit code 1.
check-doc-magic (28.2)
Process completed with exit code 1.
test (coq-8.19.1-emacs-28.1)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-29.1)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-28.2)
The run was canceled by @hendriktews.
test (coq-8.15.2-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.16.1-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-26.3)
The run was canceled by @hendriktews.
test (coq-8.18.0-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.16.1-emacs-26.3)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.17.1-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.17.1-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.17.1-emacs-26.3)
The run was canceled by @hendriktews.
test (coq-8.19.1-emacs-27.2)
The run was canceled by @hendriktews.
test (coq-8.17.1-emacs-29.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.18.0-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.17.1-emacs-28.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.18.0-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.14.1-emacs-27.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-26.3)
The run was canceled by @hendriktews.
test (coq-8.12.2-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-27.2)
The run was canceled by @hendriktews.
test (coq-8.15.2-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.14.1-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.17.1-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.18.0-emacs-29.1)
The run was canceled by @hendriktews.
test (coq-8.16.1-emacs-28.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.18.0-emacs-26.3)
The run was canceled by @hendriktews.
compile-tests (coq-8.18.0-emacs-28.2)
The run was canceled by @hendriktews.
test (coq-8.18.0-emacs-26.3)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-27.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-28.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-29.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.19.1-emacs-28.1)
The run was canceled by @hendriktews.
test (coq-8.18.0-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.11.2-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.18.0-emacs-28.2)
The run was canceled by @hendriktews.
test (coq-8.11.2-emacs-26.3)
The run was canceled by @hendriktews.
test (coq-8.12.2-emacs-27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.13.2-emacs-27.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.16.1-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.13.2-emacs-27.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.16.1-emacs-26.3)
The run was canceled by @hendriktews.
simple-tests (coq-8.16.1-emacs-28.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.16.1-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.17.1-emacs-26.3)
The run was canceled by @hendriktews.
simple-tests (coq-8.17.1-emacs-27.1)
The run was canceled by @hendriktews.
test (coq-8.16.1-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.18.0-emacs-29.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.18.0-emacs-28.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.17.1-emacs-28.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-26.3)
The run was canceled by @hendriktews.
simple-tests (coq-8.18.0-emacs-27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-27.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-28.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-28.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.12.2-emacs-27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.11.2-emacs-26.3)
The run was canceled by @hendriktews.
simple-tests (coq-8.11.2-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.12.2-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.13.2-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.14.1-emacs-27.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.14.1-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.15.2-emacs-27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.15.2-emacs-28.1)
The run was canceled by @hendriktews.
test (coq-8.13.2-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.15.2-emacs-29.2)
The run was canceled by @hendriktews.
test (coq-8.15.2-emacs-28.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.17.1-emacs-29.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.17.1-emacs-29.2)
The run was canceled by @hendriktews.
simple-tests (coq-8.18.0-emacs-26.3)
The run was canceled by @hendriktews.
simple-tests (coq-8.18.0-emacs-29.1)
The run was canceled by @hendriktews.
test-indent (27.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.19.1-emacs-29.1)
The run was canceled by @hendriktews.
simple-tests (coq-8.18.0-emacs-29.2)
The run was canceled by @hendriktews.
test-indent (26.3)
The run was canceled by @hendriktews.
test-indent (27.2)
The run was canceled by @hendriktews.
test-indent (28.1)
The run was canceled by @hendriktews.
test-indent (28.2)
The run was canceled by @hendriktews.
test-qrhl (26.3)
The run was canceled by @hendriktews.
test-indent (29.1)
The run was canceled by @hendriktews.
test-indent (29.2)
The run was canceled by @hendriktews.
test-qrhl (27.1)
The run was canceled by @hendriktews.
test-qrhl (27.2)
The run was canceled by @hendriktews.
test-qrhl (28.2)
The run was canceled by @hendriktews.
test-qrhl (29.2)
The run was canceled by @hendriktews.
test-qrhl (28.1)
The run was canceled by @hendriktews.
test-qrhl (29.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.16.1-emacs-28.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.16.1-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.16.1-emacs-28.2)
The operation was canceled.
compile-tests (coq-8.16.1-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.16.1-emacs-27.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.16.1-emacs-27.1)
The operation was canceled.
compile-tests (coq-8.13.2-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.13.2-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.17.1-emacs-26.3)
The run was canceled by @hendriktews.
compile-tests (coq-8.17.1-emacs-26.3)
The operation was canceled.
compile-tests (coq-8.14.1-emacs-27.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.14.1-emacs-27.2)
The operation was canceled.
compile-tests (coq-8.15.2-emacs-28.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.15.2-emacs-28.1)
The operation was canceled.
compile-tests (coq-8.11.2-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.11.2-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.16.1-emacs-26.3)
The run was canceled by @hendriktews.
compile-tests (coq-8.16.1-emacs-26.3)
The operation was canceled.
compile-tests (coq-8.17.1-emacs-29.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.17.1-emacs-29.1)
The operation was canceled.
compile-tests (coq-8.14.1-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.14.1-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.15.2-emacs-27.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.15.2-emacs-27.1)
The operation was canceled.
compile-tests (coq-8.11.2-emacs-26.3)
The run was canceled by @hendriktews.
compile-tests (coq-8.11.2-emacs-26.3)
The operation was canceled.
compile-tests (coq-8.12.2-emacs-27.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.12.2-emacs-27.1)
The operation was canceled.
compile-tests (coq-8.13.2-emacs-27.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.13.2-emacs-27.2)
The operation was canceled.
compile-tests (coq-8.12.2-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.12.2-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.15.2-emacs-29.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.15.2-emacs-29.2)
The operation was canceled.
compile-tests (coq-8.17.1-emacs-28.2)
The run was canceled by @hendriktews.
compile-tests (coq-8.17.1-emacs-28.2)
The operation was canceled.
compile-tests (coq-8.17.1-emacs-27.1)
The run was canceled by @hendriktews.
compile-tests (coq-8.17.1-emacs-27.1)
The operation was canceled.
build (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
check-doc-magic (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
check-doc-magic (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/