Skip to content
coqchk

Change order of the arguments in Trace and CanonicalTrace #54

Sign in to view logs

Change order of the arguments in Trace and CanonicalTrace

Change order of the arguments in Trace and CanonicalTrace #54

Triggered via push December 1, 2024 20:46
@k32k32
pushed 37747a6
fluents
Status Success
Total duration 3m 17s
Artifacts –

coqchk.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in