Skip to content

Manage zsh and the plugins with home-manager #188

Manage zsh and the plugins with home-manager

Manage zsh and the plugins with home-manager #188

Triggered via pull request July 30, 2023 13:12
Status Skipped
Total duration 2s
Artifacts

merge-bot-pr.yml

on: pull_request
dependabot
0s
dependabot
renovate
0s
renovate
Fit to window
Zoom out
Zoom in