adapt to coq/coq#19372 · imdea-software/fcsl-pcm@6bb3e1c

Re-run triggered July 17, 2024 09:17

#42

gares:done

Status Failure

Total duration 2m 58s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

9 warnings

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Syntax "Export Set" is deprecated, use the attribute syntax

Syntax "Export Set" is deprecated, use the attribute syntax

Syntax "Export Set" is deprecated, use the attribute syntax

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Syntax "Export Set" is deprecated, use the attribute syntax

Syntax "Export Set" is deprecated, use the attribute syntax

Syntax "Export Set" is deprecated, use the attribute syntax