Skip to content

Use gh-ci-action v1.1.0 - #76

Merged
davesnx merged 1 commit into
mainfrom
ci/gh-ci-action-v1.1.0
Oct 21, 2026
Merged

davesnx merged 1 commit into
mainfrom
ci/gh-ci-action-v1.1.0

Use gh-ci-action v1.1.0 and save the dune cache only on success

470786a
Select commit
Loading
Failed to load commit list.