robojerk/codeql-action

Update to the latest version of @actions/github.

Browse source
This commit is contained in:
Chris Gavin 2020-09-18 15:40:23 +01:00
parent 55458a1ab1
commit 9ed519fa12
No known key found for this signature in database
GPG key ID: 07F950B80C27E4DA
419 changed files with 56978 additions and 151535 deletions
Download patch file Download diff file Expand all files Collapse all files

7
node_modules/universal-user-agent/dist-web/index.js generated vendored
View file

@ -1,10 +1,11 @@
function getUserAgent() {
try {
if (typeof navigator === "object" && "userAgent" in navigator) {
return navigator.userAgent;
}
catch (e) {
return "<environment undetectable>";
if (typeof process === "object" && "version" in process) {
return `Node.js/${process.version.substr(1)} (${process.platform}; ${process.arch})`;
}
return "<environment undetectable>";
}
export { getUserAgent };