Adapt to https://github.com/coq/coq/pull/19530 #1099

Sign in to view logs

Re-run triggered September 17, 2024 15:41

#794

proux01:stdlib_repo

Status Failure

Total duration 18s

Artifacts –

coq-action.yml

on: pull_request

Matrix: build

Matrix: test

Annotations

4 errors

build (8.19, 32, vst)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (8.19, 64, vst)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (dev, 64, vst)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (8.18, 64, vst)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/