Skip to content
der

const-oid: handle repeated dot characters in input #3184

Sign in to view logs

const-oid: handle repeated dot characters in input

const-oid: handle repeated dot characters in input #3184

Triggered via pull request November 1, 2024 21:54
@tarcieritarcieri
opened #1595
const-oid/repeated-dot
Status Success
Total duration 11m 30s
Artifacts –

der.yml

on: pull_request
minimal-versions  /  minimal-versions
minimal-versions / minimal-versions
Matrix: build
Matrix: derive
Matrix: test
Fit to window
Zoom out
Zoom in