Merge pull request #229 from proux01/ci-update · rocq-prover/stdlib@e709142

Triggered via push January 27, 2026 10:13

proux01

master

Status Success

Total duration 2m 56s

Artifacts 1

alpine.yml

on: push

Matrix: alpine

Produced during runtime

Name	Size	Digest
stdlib-html	14.5 MB	`sha256:63f7c2fdb98a6499c451194001cea735b4e92208f6e3e1748f164babb9d7e798`