Skip to content
Coq Axiom Check

Fix compile error #24

Sign in to view logs

Fix compile error

Fix compile error #24

Triggered via push November 30, 2023 13:10
@huynhtrankhanhhuynhtrankhanh
pushed 96d9cc1
main
Status Success
Total duration 2m 14s
Artifacts –

axioms.yml

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