Skip to content
Lint

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

Sign in to view logs

fix: Removed $HOME/ prefix from global filename path

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

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

semantic-pr.yml

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