Developer playground: Make panes resizable with wrapping text · rescript-lang/rescript@9462d89

Triggered via pull request September 4, 2026 20:05

opened #8628

resize-playground

Status Cancelled

Total duration 1m 18s

Artifacts –

coverage.yml

on: pull_request

3 errors

Canceling since a higher priority waiting request for coverage-refs/pull/8628/merge exists

Canceling since a higher priority waiting request for coverage-refs/pull/8628/merge exists

The operation was canceled.