Skip to content

Merge pull request #157 from ru-fu/update-extension-name #288

Merge pull request #157 from ru-fu/update-extension-name

Merge pull request #157 from ru-fu/update-extension-name #288

Triggered via push December 13, 2023 17:50
Status Success
Total duration 52s
Artifacts
documentation-checks  /  Run documentation checks
43s
documentation-checks / Run documentation checks
Fit to window
Zoom out
Zoom in