CI build

Force homepage generation #616

Sign in to view logs

Triggered via push July 4, 2025 19:41

Ailrun

icfp25

Status Success

Total duration 8m 10s

Artifacts –

ci_build.yaml

on: push

Completeness of _CoqProject

Continuous Intergration