Skip to content
Windows CI

Replace most occurrences of Coq into Rocq in the refman. #191

Sign in to view logs

Replace most occurrences of Coq into Rocq in the refman.

Replace most occurrences of Coq into Rocq in the refman. #191

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Windows (64)
1h 0m 37s
1h 0m 37s