Skip to content
Coq Tests

Highlight "dependent" in "generalize dependent" (#343) #24

Sign in to view logs

Highlight "dependent" in "generalize dependent" (#343)

Highlight "dependent" in "generalize dependent" (#343) #24

Triggered via push March 21, 2024 23:33
@whonorewhonore
pushed 8a8e32b
main
Status Success
Total duration 4m 25s
Artifacts –

coq-tests.yml

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

Annotations

18 warnings
Coq integration tests (8.7, 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.10, 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.5, 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.13, 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.19, 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.6, 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.11, 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.8, 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 (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.