Skip to content
CI

Adapted the readme to the new "especialize with' syntax. #19

Sign in to view logs

Adapted the readme to the new "especialize with' syntax.

Adapted the readme to the new "especialize with' syntax. #19

Annotations

3 errors and 10 warnings

test (coqorg/coq:dev)

test (coqorg/coq:dev)
cancelled Dec 20, 2024 in 2m 14s