Thanks to visit codestin.com
Credit goes to Github.com

Skip to content
Coq

fix: escape */ to prevent premature JS doc comment termination (#693) #615

Sign in to view logs

fix: escape */ to prevent premature JS doc comment termination (#693)

fix: escape */ to prevent premature JS doc comment termination (#693) #615

Triggered via push December 18, 2025 09:59
@ilberttilbertt
pushed 04e34a8
master
Status Success
Total duration 59s
Artifacts –

coq.yml

on: push
build
56s
build
Fit to window
Zoom out
Zoom in