Merge pull request #224 from SkySkimmer/test-1844 · rocq-prover/stdlib@995998a

Triggered via push November 24, 2025 21:45

master

Status Success

Total duration 3m 8s

Artifacts 1

alpine.yml

on: push

Matrix: alpine

Produced during runtime

Name	Size	Digest
stdlib-html	14.5 MB	`sha256:2e3448a0841eda8991662346bf8d9663b40f0140c741d3bf9aea60c0e0e13980`