doc: grove: update and add `String` data · leanprover/lean4@0c2c843

Triggered via pull request December 8, 2025 16:33

TwoFX

synchronize #11551

Status Cancelled

Total duration 28s

Artifacts –

ci.yml

on: pull_request

Matrix: build / build

Waiting for pending jobs

Matrix: build-secondary / build

Waiting for pending jobs

3 errors

Canceling since a higher priority waiting request for CI-refs/pull/11551/merge-pull_request exists

The operation was canceled.

Canceling since a higher priority waiting request for CI-refs/pull/11551/merge-pull_request exists