Skip to content

Adapt to coq/coq#19783 (ml_tactic_name contains hash) #115

Adapt to coq/coq#19783 (ml_tactic_name contains hash)

Adapt to coq/coq#19783 (ml_tactic_name contains hash) #115

build-docker (8.18)

succeeded Oct 30, 2024 in 6m 19s