Skip to content
CI (Alpine)

[build] Fix missing deps in dune rule for All.v file #254

Sign in to view logs

[build] Fix missing deps in dune rule for All.v file

[build] Fix missing deps in dune rule for All.v file #254

Triggered via pull request November 10, 2025 11:55
@ejgallegoejgallego
synchronize #201
ejgallego:fix_all_rule
Status Success
Total duration 3m 12s
Artifacts 1

alpine.yml

on: pull_request
Matrix: alpine
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
stdlib-html
14.5 MB
sha256:5552124c83646fe288333a11b186723317014b08cf69f521a2f2696f95372245