Skip to content
Why GitHub?
Features
→
Code review
Project management
Integrations
Actions
Packages
Security
Team management
Hosting
Customer stories
→
Security
→
Enterprise
Explore
Explore GitHub
→
Learn & contribute
Topics
Collections
Trending
Learning Lab
Open source guides
Connect with others
Events
Community forum
GitHub Education
Marketplace
Pricing
Plans
→
Compare plans
Contact Sales
Nonprofit
→
Education
→
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
Watch
68
Star
2.6k
Fork
193
vimeo
/
psalm
Code
Issues
133
Pull requests
1
Projects
1
Security
Insights
Permalink
Browse files
Loading status checks…
More logging
Loading branch information
muglug
committed
Dec 3, 2019
1 parent
260b73c
commit
f667dee4f5617f249fa61707713f02c931ecaf45
Unified
Split
Showing
2 changed files
with
2 additions
and
2 deletions
.
+2
−0
src/Psalm/Internal/ExecutionEnvironment/BuildInfoCollector.php
+0
−2
src/psalm.php
2
src/Psalm/Internal/ExecutionEnvironment/BuildInfoCollector.php
Show comments
View file
Edit file
Delete file
@@ -269,6 +269,8 @@ protected function fillGithubActions()
/*
* @var array
*/
$event_data
=
\
json_decode
(
$event_json
,
true
);
var_dump
(
$head_data
);
if
(
isset
(
$event_data
[
'
head_commit
'
])) {
/**
*
@var
array{
2
src/psalm.php
Show comments
View file
Edit file
Delete file
@@ -409,8 +409,6 @@ function ($arg) {
exit
;
}
var_dump
(
$_SERVER
);
//
disable progressbar on CI
if
(
isset
(
$_SERVER
[
'
TRAVIS
'
])
||
isset
(
$_SERVER
[
'
CIRCLECI
'
])
Toggle all file notes
0 comments on commit
f667dee
Please
sign in
to comment.
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
0 comments on commit
f667dee