Skip to content
Coq Tests

Fix local nix + coq tests (#359) #54

Sign in to view logs

Fix local nix + coq tests (#359)

Fix local nix + coq tests (#359) #54

Triggered via push June 2, 2024 14:34
@whonorewhonore
pushed d77080e
main
Status Success
Total duration 4m 40s
Artifacts –

coq-tests.yml

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

Annotations

18 warnings
Coq integration tests (8.4, 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.5, 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.10, 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.14, 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.17, 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.16, 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.9, 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 (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.