Skip to content

Always resolve files using Coq #1151

Always resolve files using Coq

Always resolve files using Coq #1151

Triggered via pull request September 10, 2024 08:46
Status Failure
Total duration 9s
Artifacts

doc.yml

on: pull_request
Build doc
0s
Build doc
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build doc
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/