Skip to content
Prettify Code

Finish Coq code generation #177

Sign in to view logs

Finish Coq code generation

Finish Coq code generation #177

Triggered via push December 3, 2023 11:18
@huynhtrankhanhhuynhtrankhanh
pushed b0a1b45
main
Status Success
Total duration 17s
Artifacts –

prettier.yml

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