Skip to content
CI

Reorder coq_version.py to minimize future diff (#247) #2248

Sign in to view logs

Reorder coq_version.py to minimize future diff (#247)

Reorder coq_version.py to minimize future diff (#247) #2248

Annotations

1 warning

docker-build (8.5, default, standalone)

docker-build (8.5, default, standalone)
succeeded Jan 27, 2025 in 15m 44s