Skip to content

dev: merge PR #5 (shared-api-parity) - #14

Draft
tiensonqin wants to merge 125 commits into
mainfrom
dev
Draft

dev: merge PR #5 (shared-api-parity)#14
tiensonqin wants to merge 125 commits into
mainfrom
dev

Fix leftover merge conflict markers in native opam

0b42c60
Select commit
Loading
Failed to load commit list.
WIP / WIP Started 2026-08-30 01:38:25 ago

draft mode override

The pull request is in draft mode and will not be merged.

Details

By default, WIP only checks the pull request title for the terms "WIP", "Work in progress" and "🚧".

You can configure both the terms and the location that the WIP app will look for by signing up for the pro plan: https://github.com/marketplace/wip. All revenue will be donated to Processing | p5.js – one of the most diverse and impactful Open Source community there is.