Skip to content

Remove prefix ext- from extension name. #1242

Remove prefix ext- from extension name.

Remove prefix ext- from extension name. #1242

Re-run triggered November 20, 2024 13:53
Status Success
Total duration 31s
Artifacts

arginfo-files.yml

on: pull_request
Check generated arginfo files
19s
Check generated arginfo files
Fit to window
Zoom out
Zoom in