Skip to content
Coq Axiom Check

Change line stripping logic #7

Sign in to view logs

Change line stripping logic

Change line stripping logic #7

Triggered via push November 25, 2023 04:26
@huynhtrankhanhhuynhtrankhanh
pushed 3144637
main
Status Success
Total duration 2m 11s
Artifacts –

axioms.yml

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