Skip to content

Use gnome-extensions-cli instead of gnome-shell-extension-installer #776

Use gnome-extensions-cli instead of gnome-shell-extension-installer

Use gnome-extensions-cli instead of gnome-shell-extension-installer #776

Triggered via pull request April 25, 2024 23:51
Status Success
Total duration 7m 2s
Artifacts

ci.yaml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in