Skip to content
Prettify Code

Generate environment in Coq #134

Sign in to view logs

Generate environment in Coq

Generate environment in Coq #134

Triggered via push November 7, 2023 09:25
@huynhtrankhanhhuynhtrankhanh
pushed 5d74fa3
main
Status Success
Total duration 24s
Artifacts –

prettier.yml

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