Skip to content
coqchk

Port trace canonicalization to the new set of definitions. #53

Sign in to view logs

Port trace canonicalization to the new set of definitions.

Port trace canonicalization to the new set of definitions. #53

Triggered via push December 1, 2024 19:49
@k32k32
pushed 37b848d
fluents
Status Success
Total duration 3m 12s
Artifacts –

coqchk.yml

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