Skip to content

fix(zsh): use POSH_PID as unique identifier instead of random #1076

fix(zsh): use POSH_PID as unique identifier instead of random

fix(zsh): use POSH_PID as unique identifier instead of random #1076

Triggered via push July 14, 2024 05:50
Status Success
Total duration 5m 40s
Artifacts

docs.yml

on: push
Build and Deploy
5m 33s
Build and Deploy
Fit to window
Zoom out
Zoom in