Back to pull request #216

Port Fix weird TOC (#215) #315

Sign in to view logs

Triggered via pull request September 18, 2024 01:02

Ailrun

opened #216

main

Status Success

Total duration 2m 24s

Artifacts –

ci_build.yaml

on: pull_request

Completeness of _CoqProject

Continuous Intergration