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

test (coqorg/coq:8.17)

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