Skip to content
Coq Tests

Fix goals panel when no proof is active on Coq >= 8.16. #18

Sign in to view logs

Fix goals panel when no proof is active on Coq >= 8.16.

Fix goals panel when no proof is active on Coq >= 8.16. #18

Triggered via pull request February 17, 2024 13:38
@whonorewhonore
synchronize #337
jesboat:fix-goals-when-no-proof
Status Success
Total duration 4m 18s
Artifacts –

coq-tests.yml

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

Annotations

18 warnings
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.7, 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.10, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.
Coq integration tests (8.4, 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.8, 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.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 (8.12, 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.18, 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 (master, 3.6)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: DeterminateSystems/magic-nix-cache-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Coq integration tests (master, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.