Skip to content
Docker CI

Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module) #110

Sign in to view logs

Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module)

Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module) #110

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev)
2m 6s
2m 6s