Merge branch 'master' into putty-url

f6c6942

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Code scanning - action on: pull_request 2

CodeQL-Build

pxt-buildpush on: pull_request 7

filter-vtags / filter-vtags

tag-bump-commit / check-merge / check-pr

tag-bump-commit / check-merge-outputs

tag-bump-commit / tag-version

tag-bump-commit / not-tag-version

tag-bump-commit / return

buildpush

buildvtag

Microsoft GitHub Policy Service

license/cla

Code scanning results

CodeQL

Annotations

2 warnings

Unable to validate code scanning workflow: CheckoutWrongHead

1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.

The logs for this run have expired and are no longer available.

Loading

Merge branch 'master' into putty-url

Uh oh!

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...