Skip to content
CI

chore(dune-project): restore symlink to .build/dune-project (#307) #561

Sign in to view logs

chore(dune-project): restore symlink to .build/dune-project (#307)

chore(dune-project): restore symlink to .build/dune-project (#307) #561

Triggered via push May 20, 2026 08:34
@hyperpolymathhyperpolymath
pushed 08013ba
main
Status Success
Total duration 4m 51s
Artifacts –

ci.yml

on: push
build
3m 16s
build
lint
3m 18s
lint
Fit to window
Zoom out
Zoom in