CI build

finished semantic well-formedness of equality type #438

Sign in to view logs

Triggered via pull request December 16, 2024 06:39

HuStmpHrrr

synchronize #271

feature/soundness-pf-fix

Status Failure

Total duration 8m 21s

Artifacts –

ci_build.yaml

on: pull_request

Completeness of _CoqProject

Continuous Intergration

Annotations

1 error and 2 warnings

Continuous Intergration

The reference applying_glu_rel_judge was not found in the current

Completeness of _CoqProject

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Continuous Intergration

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636