Skip to content
Prettify Code

Delete coqCodegen.test.js #189

Sign in to view logs

Delete coqCodegen.test.js

Delete coqCodegen.test.js #189

Triggered via push December 5, 2023 10:19
@huynhtrankhanhhuynhtrankhanh
pushed 81ec5fa
main
Status Success
Total duration 18s
Artifacts –

prettier.yml

on: push
prettify
10s
prettify
Fit to window
Zoom out
Zoom in