⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.

Remove 2.4.0-rocq-prover-dev#40

Open

pi8027 wants to merge 1 commit intomasterfrom

2.4.0-rocq-prover-dev

Commits on Nov 24, 2025

Remove the rocq-prover-dev images
pi8027
committed