CN-Coq

CN: Fix #860, escape ampersand in pp string HTML #188

Sign in to view logs

Triggered via push March 5, 2025 13:57

dc-mak

master

Status Success

Total duration 33m 5s

Artifacts –

ci-cn-coq.yml

on: push

Matrix: build