Skip to content
CI

Adapt to coq/coq#17633 (decompose_app returns array not list) #47

Sign in to view logs

Adapt to coq/coq#17633 (decompose_app returns array not list)

Adapt to coq/coq#17633 (decompose_app returns array not list) #47

Re-run triggered May 30, 2023 11:30
@JannoJanno
#83
SkySkimmer:app-head
Status Success
Total duration 2m 20s
Artifacts –

main.yml

on: pull_request
build
2m 8s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.