kami icon indicating copy to clipboard operation
kami copied to clipboard
verified publisher icon mit-plv

Adapt to https://github.com/rocq-prover/rocq/pull/17876

Open proux01 opened this issue 6 months ago • 0 comments

Adapt to https://github.com/rocq-prover/rocq/pull/17876

Sorry, apparently my previous attempt was incomplete. At least this time CI on the upstream PR seems to confirm we are good.

proux01 avatar Jun 22 '25 17:06 proux01