Skip to content
CI (Coq, Alpine)

[CI] [Alpine] Don't use PR version of Alpine Coq (#145) #43

Sign in to view logs

[CI] [Alpine] Don't use PR version of Alpine Coq (#145)

[CI] [Alpine] Don't use PR version of Alpine Coq (#145) #43

Triggered via push January 30, 2024 15:35
@andres-erbsenandres-erbsen
pushed 9e81a52
master
Status Success
Total duration 6m 37s
Artifacts –

coq-alpine.yml

on: push
Matrix: build
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

1 warning
alpine-edge
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: webiny/action-post-run@3.0.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.