Skip to content
Create a GitHub release once a release PR is merged

doc: Use ~ instead of /home/$USER #576

Sign in to view logs

doc: Use ~ instead of /home/$USER

doc: Use ~ instead of /home/$USER #576

Triggered via pull request August 8, 2024 09:55
@konturakontura
closed #1619
ppisar:doc_home_dirs
Status Skipped
Total duration 2s
Artifacts –

do-release.yaml

on: pull_request
if_merged
0s
if_merged
Fit to window
Zoom out
Zoom in