Skip to content
CI

Update github actions artifact to version 4.1.7 #1100

Sign in to view logs

Update github actions artifact to version 4.1.7

Update github actions artifact to version 4.1.7 #1100

Triggered via pull request September 17, 2024 15:49
@andrew-appelandrew-appel
opened #795
actions417
Status Failure
Total duration 15s
Artifacts –

coq-action.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (8.19, 64, vst)
Unable to resolve action `actions/[email protected]`, unable to find version `v4.1.7`
build (8.19, 32, vst)
Unable to resolve action `actions/[email protected]`, unable to find version `v4.1.7`
build (dev, 64, vst)
Unable to resolve action `actions/[email protected]`, unable to find version `v4.1.7`
build (8.18, 64, vst)
Unable to resolve action `actions/[email protected]`, unable to find version `v4.1.7`