.github/workflows/ci.yml

Adapt to coq/coq#19757 (Coqargs is pure) #1329

Sign in to view logs

Triggered via pull request October 25, 2024 11:25

SkySkimmer

opened #933

SkySkimmer:coqargs-pure

Status Failure

Total duration 17m 25s

Artifacts –

ci.yml

on: pull_request

Matrix: build-extension

Matrix: dev-setup-opam

Matrix: install-opam

Matrix: nix-dev-build

install-windows

publish-extension

Annotations

12 errors and 72 warnings

nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)

Process completed with exit code 1.

nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)

Process completed with exit code 1.

nix-dev-build (ubuntu-latest, coq-master, dev)

Process completed with exit code 1.

nix-dev-build (ubuntu-latest, coq-master, dev)

Process completed with exit code 1.

install-opam (ubuntu-latest, 4.14.x, dev)

Process completed with exit code 1.

install-opam (ubuntu-latest, 4.14.x, dev)

Process completed with exit code 31.

nix-dev-build (macos-latest, coq-8-19, dev)

Process completed with exit code 1.

nix-dev-build (macos-latest, coq-8-19, dev)

Process completed with exit code 1.

nix-dev-build (macos-latest, coq-master, dev)

Process completed with exit code 1.

nix-dev-build (macos-latest, coq-master, dev)

Process completed with exit code 1.

nix-dev-build (macos-latest, coq-master, fatalwarnings)

Process completed with exit code 1.

nix-dev-build (macos-latest, coq-master, fatalwarnings)

Process completed with exit code 1.

build-extension (macos-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

build-extension (ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

publish-extension

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

build-extension (windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-8-19, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-8-18, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (macos-latest, coq-8-18, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (macos-latest, coq-8-18, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (ubuntu-latest, coq-master, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

install-opam (ubuntu-latest, 4.14.x, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (macos-latest, coq-8-19, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/Decorations.ts#L3

'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/QuickFixProvider.ts#L2

'Command' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/QuickFixProvider.ts#L20

'token' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/client.ts#L7

'integer' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/extension.ts#L45

'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/extension.ts#L196

'res' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/extension.ts#L374

'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/extension.ts#L384

'editor' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/manualChecking.ts#L3

'commands' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings): client/src/manualChecking.ts#L4

'workspace' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/Decorations.ts#L3

'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/QuickFixProvider.ts#L2

'Command' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/QuickFixProvider.ts#L20

'token' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/client.ts#L7

'integer' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/extension.ts#L45

'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/extension.ts#L196

'res' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/extension.ts#L374

'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/extension.ts#L384

'editor' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/manualChecking.ts#L3

'commands' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.20+rc1): client/src/manualChecking.ts#L4

'workspace' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/Decorations.ts#L3

'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/QuickFixProvider.ts#L2

'Command' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/QuickFixProvider.ts#L20

'token' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/client.ts#L7

'integer' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/extension.ts#L45

'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/extension.ts#L196

'res' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/extension.ts#L374

'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/extension.ts#L384

'editor' is defined but never used. Allowed unused args must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/manualChecking.ts#L3

'commands' is defined but never used. Allowed unused vars must match /^_/u

dev-setup-opam (ubuntu-latest, 4.14.x, dev): client/src/manualChecking.ts#L4

'workspace' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/Decorations.ts#L3

'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/QuickFixProvider.ts#L2

'Command' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/QuickFixProvider.ts#L20

'token' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/client.ts#L7

'integer' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/extension.ts#L45

'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/extension.ts#L196

'res' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/extension.ts#L374

'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/extension.ts#L384

'editor' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/manualChecking.ts#L3

'commands' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.19.0): client/src/manualChecking.ts#L4

'workspace' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/Decorations.ts#L3

'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/QuickFixProvider.ts#L2

'Command' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/QuickFixProvider.ts#L20

'token' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/client.ts#L7

'integer' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/extension.ts#L45

'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/extension.ts#L196

'res' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/extension.ts#L374

'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/extension.ts#L384

'editor' is defined but never used. Allowed unused args must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/manualChecking.ts#L3

'commands' is defined but never used. Allowed unused vars must match /^_/u

install-opam (ubuntu-latest, 4.14.x, 8.18.0): client/src/manualChecking.ts#L4

'workspace' is defined but never used. Allowed unused vars must match /^_/u

nix-dev-build (macos-latest, coq-8-19, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (macos-latest, coq-master, dev)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

nix-dev-build (macos-latest, coq-master, fatalwarnings)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/