Skip to content
Receive Pull Request

The use of VS Code as an IDE option #71

Sign in to view logs

The use of VS Code as an IDE option

The use of VS Code as an IDE option #71

Triggered via pull request July 30, 2025 11:13
@steve-crouchsteve-crouch
synchronize #473
vs-code
Status Cancelled
Total duration 30s
Artifacts 1

pr-receive.yaml

on: pull_request
Record PR number
9s
Record PR number
Build markdown source files if valid
10s
Build markdown source files if valid
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build markdown source files if valid
The operation was canceled.
Build markdown source files if valid
Canceling since a higher priority waiting request for refs/pull/473/merge exists
Receive Pull Request
Canceling since a higher priority waiting request for refs/pull/473/merge exists

Artifacts

Produced during runtime
Name Size Digest
pr Expired
124 Bytes
sha256:4362b4e5f721441f3408d76bbd491f4e316b8216f0c17b3475335aedbf2cc96f