do not unfold Zeq_bool #97

Sign in to view logs

Triggered via push November 6, 2024 14:52

thery

master

Status Success

Total duration 3m 35s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (dev, default)

"From Coq" has been replaced by "From Stdlib".