Skip to content
Back to pull request #398

Replace Coq by Rocq #178

Sign in to view logs

Replace Coq by Rocq

Replace Coq by Rocq #178

Figure out the packages we need to build

Figure out the packages we need to build
succeeded Dec 30, 2025 in 22s