Skip to content

Update and rename user.js to user.ts #523

Update and rename user.js to user.ts

Update and rename user.js to user.ts #523

Triggered via push April 17, 2026 18:32
Status Startup failure
Total duration
Artifacts
filter-vtags  /  filter-vtags
filter-vtags / filter-vtags
tag-bump-commit  /  ...  /  check-pr
tag-bump-commit / check-merge / check-pr
tag-bump-commit  /  check-merge-outputs
tag-bump-commit / check-merge-outputs
tag-bump-commit  /  not-tag-version
tag-bump-commit / not-tag-version
tag-bump-commit  /  tag-version
tag-bump-commit / tag-version
tag-bump-commit  /  return
tag-bump-commit / return
buildpush
buildpush
buildvtag
buildvtag
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/pxt-programming-docs-buildpush.yml#L15
The workflow is not valid. DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/.github/workflows/tag-bump-commit.yml@afb3352c3d88d6fe26c9e8d3b7061288ed0d536c (Line: 15, Col: 3): Error calling workflow 'DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/.github/workflows/check-if-merged-pr.yml@afb3352c3d88d6fe26c9e8d3b7061288ed0d536c'. The nested job 'check-pr' is requesting 'pull-requests: read', but is only allowed 'pull-requests: none'.