Skip to content
PR: Lint

feat(general): migrate global dotnet tools to local in update-dotnet-tools #2955

Sign in to view logs

feat(general): migrate global dotnet tools to local in update-dotnet-tools

feat(general): migrate global dotnet tools to local in update-dotnet-tools #2955

Triggered via pull request July 14, 2026 13:36
@credfetocredfeto
synchronize #722
feature/update-dotnet-tools-global-to-local
Status Success
Total duration 2m 32s
Artifacts –

pr-lint.yml

on: pull_request
info
info
include-changelog-entry
7s
include-changelog-entry
change-log-entry-is-in-unreleased
55s
change-log-entry-is-in-unreleased
does-not-contain-secrets
54s
does-not-contain-secrets
has-no-merge-conflicts
4s
has-no-merge-conflicts
has-no-file-or-folder-case-sensitivity-issues
6s
has-no-file-or-folder-case-sensitivity-issues
no-ignored-files
6s
no-ignored-files
dependency-review
26s
dependency-review
no-merge-commits
8s
no-merge-commits
valid-changelog
37s
valid-changelog
lint-code
2m 23s
lint-code
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
valid-changelog
⚠️ src/global.json not found - using fallback version: 10.0.*
change-log-entry-is-in-unreleased
⚠️ src/global.json not found - using fallback version: 10.0.*