Skip to content
decnum

Use codepoint index for indices/1, index/ 1 and rindex/1 (#3065) #995

Sign in to view logs

Use codepoint index for indices/1, index/ 1 and rindex/1 (#3065)

Use codepoint index for indices/1, index/ 1 and rindex/1 (#3065) #995

Triggered via push November 17, 2024 09:22
@waderwader
pushed 8619f8a
master
Status Success
Total duration 2m 9s
Artifacts –

decnum.yml

on: push
disabled
57s
disabled
Fit to window
Zoom out
Zoom in