Fix duplicated doc comment line and empty line after doc comment #2453

Sign in to view logs

Triggered via pull request November 9, 2024 11:54

eduardosm

opened #1668

eduardosm:fix-doc-comments

Status Success

Total duration 22m 3s

Artifacts –

main.yml

on: pull_request

Matrix: Env Override

Matrix: Test

Build Documentation

Automatic intrinsic verification

Build std_detect