Skip to content
CI

Adapt to coq/coq#17633 (decompose_app returns array not list) #47

Sign in to view logs

Adapt to coq/coq#17633 (decompose_app returns array not list)

Adapt to coq/coq#17633 (decompose_app returns array not list) #47

The logs for this run have expired and are no longer available.