Skip to content
Coq Axiom Check

Fix bugs #37

Sign in to view logs

Fix bugs

Fix bugs #37

Triggered via push December 5, 2023 03:30
@huynhtrankhanhhuynhtrankhanh
pushed d9849d5
main
Status Success
Total duration 2m 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

axioms.yml

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