First attempt at fixing message display when no focused goal.

cd7bfbf

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CI on: pull_request 12

build (27.1)

build (27.2)

build (28.1)

build (28.2)

build (29.1)

build (29.2)

build (29.3)

build (29.4)

build (30.1)

check-doc-magic (29.4)

check-doc-magic (30.1)

test (coq-8.15.2-emacs-27.1)

test (coq-8.15.2-emacs-28.1)

test (coq-8.15.2-emacs-30.1)

test (coq-8.16.1-emacs-28.2)

test (coq-8.16.1-emacs-30.1)

test (coq-8.17.1-emacs-29.1)

test (coq-8.17.1-emacs-30.1)

test (coq-8.18.0-emacs-29.3)

test (coq-8.18.0-emacs-30.1)

test (coq-8.19.2-emacs-27.1)

test (coq-8.19.2-emacs-28.2)

test (coq-8.19.2-emacs-29.3)

test (coq-8.19.2-emacs-29.4)

test (coq-8.19.2-emacs-30.1)

test (coq-8.20.1-emacs-27.1)

test (coq-8.20.1-emacs-28.2)

test (coq-8.20.1-emacs-29.3)

test (coq-8.20.1-emacs-29.4)

test (coq-8.20.1-emacs-30.1)

test (coq-9.0.0-emacs-27.1)

test (coq-9.0.0-emacs-27.2)

test (coq-9.0.0-emacs-28.1)

test (coq-9.0.0-emacs-28.2)

test (coq-9.0.0-emacs-29.1)

test (coq-9.0.0-emacs-29.2)

test (coq-9.0.0-emacs-29.3)

test (coq-9.0.0-emacs-29.4)

test (coq-9.0.0-emacs-30.1)

test (coq-9.1-rc1-emacs-27.1)

test (coq-9.1-rc1-emacs-27.2)

test (coq-9.1-rc1-emacs-28.1)

test (coq-9.1-rc1-emacs-28.2)

test (coq-9.1-rc1-emacs-29.1)

test (coq-9.1-rc1-emacs-29.2)

test (coq-9.1-rc1-emacs-29.3)

test (coq-9.1-rc1-emacs-29.4)

test (coq-9.1-rc1-emacs-30.1)

compile-tests (coq-8.15.2-emacs-27.1)

compile-tests (coq-8.15.2-emacs-28.1)

compile-tests (coq-8.15.2-emacs-30.1)

compile-tests (coq-8.16.1-emacs-28.2)

compile-tests (coq-8.16.1-emacs-30.1)

compile-tests (coq-8.17.1-emacs-29.1)

compile-tests (coq-8.17.1-emacs-30.1)

compile-tests (coq-8.18.0-emacs-29.3)

compile-tests (coq-8.18.0-emacs-30.1)

compile-tests (coq-8.19.2-emacs-27.1)

compile-tests (coq-8.19.2-emacs-28.2)

compile-tests (coq-8.19.2-emacs-29.3)

compile-tests (coq-8.19.2-emacs-29.4)

compile-tests (coq-8.19.2-emacs-30.1)

compile-tests (coq-8.20.1-emacs-27.1)

compile-tests (coq-8.20.1-emacs-28.2)

compile-tests (coq-8.20.1-emacs-29.3)

compile-tests (coq-8.20.1-emacs-29.4)

compile-tests (coq-8.20.1-emacs-30.1)

compile-tests (coq-9.0.0-emacs-27.1)

compile-tests (coq-9.0.0-emacs-27.2)

compile-tests (coq-9.0.0-emacs-28.1)

compile-tests (coq-9.0.0-emacs-28.2)

compile-tests (coq-9.0.0-emacs-29.1)

compile-tests (coq-9.0.0-emacs-29.2)

compile-tests (coq-9.0.0-emacs-29.3)

compile-tests (coq-9.0.0-emacs-29.4)

compile-tests (coq-9.0.0-emacs-30.1)

compile-tests (coq-9.1-rc1-emacs-27.1)

compile-tests (coq-9.1-rc1-emacs-27.2)

compile-tests (coq-9.1-rc1-emacs-28.1)

compile-tests (coq-9.1-rc1-emacs-28.2)

compile-tests (coq-9.1-rc1-emacs-29.1)

compile-tests (coq-9.1-rc1-emacs-29.2)

compile-tests (coq-9.1-rc1-emacs-29.3)

compile-tests (coq-9.1-rc1-emacs-29.4)

compile-tests (coq-9.1-rc1-emacs-30.1)

simple-tests (coq-8.15.2-emacs-27.1)

simple-tests (coq-8.15.2-emacs-28.1)

simple-tests (coq-8.15.2-emacs-30.1)

simple-tests (coq-8.16.1-emacs-28.2)

simple-tests (coq-8.16.1-emacs-30.1)

simple-tests (coq-8.17.1-emacs-29.1)

simple-tests (coq-8.17.1-emacs-30.1)

simple-tests (coq-8.18.0-emacs-29.3)

simple-tests (coq-8.18.0-emacs-30.1)

simple-tests (coq-8.19.2-emacs-27.1)

simple-tests (coq-8.19.2-emacs-28.2)

simple-tests (coq-8.19.2-emacs-29.3)

simple-tests (coq-8.19.2-emacs-29.4)

simple-tests (coq-8.19.2-emacs-30.1)

simple-tests (coq-8.20.1-emacs-27.1)

simple-tests (coq-8.20.1-emacs-28.2)

simple-tests (coq-8.20.1-emacs-29.3)

simple-tests (coq-8.20.1-emacs-29.4)

simple-tests (coq-8.20.1-emacs-30.1)

simple-tests (coq-9.0.0-emacs-27.1)

simple-tests (coq-9.0.0-emacs-27.2)

simple-tests (coq-9.0.0-emacs-28.1)

simple-tests (coq-9.0.0-emacs-28.2)

simple-tests (coq-9.0.0-emacs-29.1)

simple-tests (coq-9.0.0-emacs-29.2)

simple-tests (coq-9.0.0-emacs-29.3)

simple-tests (coq-9.0.0-emacs-29.4)

simple-tests (coq-9.0.0-emacs-30.1)

simple-tests (coq-9.1-rc1-emacs-27.1)

simple-tests (coq-9.1-rc1-emacs-27.2)

simple-tests (coq-9.1-rc1-emacs-28.1)

simple-tests (coq-9.1-rc1-emacs-28.2)

simple-tests (coq-9.1-rc1-emacs-29.1)

simple-tests (coq-9.1-rc1-emacs-29.2)

simple-tests (coq-9.1-rc1-emacs-29.3)

simple-tests (coq-9.1-rc1-emacs-29.4)

simple-tests (coq-9.1-rc1-emacs-30.1)

test-indent (27.1)

test-indent (27.2)

test-indent (28.1)

test-indent (28.2)

test-indent (29.1)

test-indent (29.2)

test-indent (29.3)

test-indent (29.4)

test-indent (30.1)

test-qrhl (27.1)

test-qrhl (27.2)

test-qrhl (28.1)

test-qrhl (28.2)

test-qrhl (29.1)

test-qrhl (29.2)

test-qrhl (29.3)

test-qrhl (29.4)

test-qrhl (30.1)

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...