Skip to content
Coq Axiom Check

Cover store() #51

Sign in to view logs

Cover store()

Cover store() #51

Triggered via push December 19, 2023 09:25
@huynhtrankhanhhuynhtrankhanh
pushed 1486f58
main
Status Success
Total duration 2m 12s
Artifacts –

axioms.yml

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