Skip to content
CI (Alpine)

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

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 #252

Triggered via pull request November 10, 2025 11:48
@ejgallegoejgallego
synchronize #201
ejgallego:fix_all_rule
Status Success
Total duration 2m 49s
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:125266e0c668c68bc1a1196c5bf77d51e5c9e62d2867a495d064f53d901d1e7f