Skip to content
Coq Axiom Check

Delete coqCodegen.test.js #41

Sign in to view logs

Delete coqCodegen.test.js

Delete coqCodegen.test.js #41

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

axioms.yml

on: push
coq-check
2m 2s
coq-check
Fit to window
Zoom out
Zoom in