Skip to content
Coq Tests

Avoid race condition while starting coqtail (#366) #70

Sign in to view logs

Avoid race condition while starting coqtail (#366)

Avoid race condition while starting coqtail (#366) #70

Triggered via push August 23, 2024 13:21
@whonorewhonore
pushed a3d2830
main
Status Success
Total duration 1m 54s
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.5, 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.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.19, 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.18, 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.17, 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)
The following actions use a deprecated Node.js version and will be forced to run on node20: DeterminateSystems/magic-nix-cache-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Coq integration tests (master, 3.6)
No push credentials found. Ignoring the 'useDaemon' option.