Skip to content
PR labels

fix: use ZDOTDIR when available #142

Sign in to view logs

fix: use ZDOTDIR when available

fix: use ZDOTDIR when available #142

Triggered via pull request October 7, 2025 05:26
@karthiknadigkarthiknadig
labeled #900
karthiknadig:fix-zdotdir
Status Success
Total duration 13s
Artifacts –

pr-labels.yml

on: pull_request
Ensure Required Labels
5s
Ensure Required Labels
Fit to window
Zoom out
Zoom in