CI build

Merge the prop equality extension #611

Sign in to view logs

Triggered via pull request July 1, 2025 17:40

jiangsy

synchronize #287

ext/prop-eq

Status Success

Total duration 17m 51s

Artifacts –

ci_build.yaml

on: pull_request

Completeness of _CoqProject

Continuous Intergration