Adapt to rocq-prover/rocq#21392. · rocq-prover/stdlib@2a31a2b

Triggered via pull request December 4, 2025 09:40

ppedrot

opened #227

ppedrot:fix-2939

Status Success

Total duration 2m 54s

Artifacts 1

alpine.yml

on: pull_request

Matrix: alpine

Produced during runtime

Name	Size	Digest
stdlib-html	14.5 MB	`sha256:c40a07e99e31d63f09aefd1c872b19a34c226bd690ef6480cf2a082a51d70b09`