Skip to content
Lint

fix: Removed $HOME/ prefix from global filename path #1749

Sign in to view logs

fix: Removed $HOME/ prefix from global filename path

fix: Removed $HOME/ prefix from global filename path #1749

Triggered via pull request November 14, 2024 06:29
@alyvusalalyvusal
opened #1798
Status Success
Total duration 10s
Artifacts –

semantic-pr.yml

on: pull_request_target
semantic-pr
2s
semantic-pr
Fit to window
Zoom out
Zoom in