CI

Modify examples and tests for Coq/Coq#18164 #523

Sign in to view logs

Re-run triggered November 21, 2023 15:23

ppedrot

#570

Villetaneuse:arith_files_examples

Status Failure

Total duration 4m 13s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

1 error and 3 warnings

build (dev, 4.09-flambda, dune): src/g_equations.mlg#L242

Unbound value Genintern.register_subst0

build (dev, 4.09-flambda, local)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

build (dev, 4.09-flambda, dune)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

build (dev, 4.09-flambda, hott)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/