Skip to content
Check github actions

Merge pull request #10408 from dgud/dgud/stdlib/unicode_util_opt #5078

Sign in to view logs

Merge pull request #10408 from dgud/dgud/stdlib/unicode_util_opt

Merge pull request #10408 from dgud/dgud/stdlib/unicode_util_opt #5078

Triggered via push November 27, 2025 09:21
@dguddgud
pushed 053b8f0
master
Status Success
Total duration 24s
Artifacts –

github-actions-checker.yaml

on: push
ratchet
18s
ratchet
Fit to window
Zoom out
Zoom in