lint & build

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

Sign in to view logs

Triggered via pull request April 25, 2025 04:35

rkirsling

synchronize #999

rkirsling:eliminate-emu-normative-optional-element

Status Success

Total duration 22s

Artifacts –

build.yml

on: pull_request