Getting Started Documentation

Organisations mbarbin pplumbing branch/main Build History

Build History for branch/main

Builds (6)

Upgrade dunolint workflow

Feb 17 19:58 +00:00

Passed in 15m12s

Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Feb 17 19:34 +00:00

Failed in 10m49s

Enable crs workflow

Feb 12 10:12 +00:00

Passed in 2m00s

Merge pull request #32 from mbarbin/migrate-main-ci-setup-dune Migrate main and doc CIs to setup-dune

Feb 01 15:57 +00:00

Passed in 1m42s

Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest

Feb 01 15:02 +00:00

Passed in 41m16s

Improve default settings for GHA permissions

Feb 01 14:42 +00:00

Failed in 10m57s