lint & build

Markup: Eliminate usage of <emu-normative-optional> #1103

Sign in to view logs

Triggered via pull request April 25, 2025 04:32

rkirsling

opened #999

rkirsling:eliminate-emu-normative-optional-element

Status Success

Total duration 20s

Artifacts –

build.yml

on: pull_request