Skip to content

Updates PR workflow to remove superfluous jobs #442

Updates PR workflow to remove superfluous jobs

Updates PR workflow to remove superfluous jobs #442

Annotations

1 warning

docs-pr

succeeded Jan 14, 2025 in 3s
Set up job
1s
Run dorny/paths-filter@v3
1s
Run actions/github-script@v7
0s
Complete job
0s