Skip to content
This repository was archived by the owner on Mar 13, 2026. It is now read-only.

Add shell script that builds dune and makes tarball #12

Merged
gridbugs merged 1 commit into from
Aug 12, 2025
+92 −17

Add shell script that builds dune and makes tarball

973c8e1
Select commit
Loading
Failed to load commit list.
Merged

Add shell script that builds dune and makes tarball #12

Add shell script that builds dune and makes tarball
973c8e1
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 12, 2025 in 1s

DCO

All commits are signed off!

View more details on DCO