Skip to content

[html] add data-orig-file attribute #1786

[html] add data-orig-file attribute

[html] add data-orig-file attribute #1786

Triggered via pull request October 20, 2023 11:24
@ORelioORelio
opened #3777
Status Success
Total duration 55s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

prhtmlgenerator.yml

on: pull_request_target
Generate HTML
44s
Generate HTML
Fit to window
Zoom out
Zoom in