Backport

chore: bump @leanprover/unicode-input to 0.1.10 #5

Sign in to view logs

Triggered via pull request April 15, 2026 08:14

mhuisi

closed #769

Status Skipped

Total duration 2s

Artifacts –

backport.yml

on: pull_request_target

⚡