@@ -23,24 +23,24 @@ jobs:
2323
2424 - name : " Checkout to commit"
2525 if : github.event_name != 'pull_request'
26- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
26+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
2727 with :
2828 ref : ${{ github.head_ref }}
2929 fetch-depth : ' 0'
3030 token : ${{ secrets.PHPSTAN_BOT_TOKEN }}
3131 - name : " Checkout to only read"
3232 if : github.event_name == 'pull_request'
33- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
33+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
3434 - name : " Install PHP"
35- uses : " shivammathur/setup-php@7c071dfe9dc99bdf297fa79cb49ea005b9fcadbc " # v2 .37.1
35+ uses : " shivammathur/setup-php@f3e473d116dcccaddc5834248c87452386958240 " # 2 .37.2
3636 with :
3737 coverage : " none"
3838 php-version : " 8.3"
3939 - name : " Install dependencies"
4040 run : " composer install"
4141 working-directory : ./extractor
4242 - name : " Checkout"
43- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
43+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
4444 with :
4545 repository : " php/php-src"
4646 path : " php-src"
5252 - name : " Delete checked out php-src repo"
5353 run : " rm -rf php-src"
5454 - name : " Checkout PHP 8.1"
55- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
55+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
5656 with :
5757 repository : " php/php-src"
5858 path : " php-src"
6565 - name : " Delete checked out php-src repo"
6666 run : " rm -rf php-src"
6767 - name : " Checkout PHP 8.2"
68- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
68+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
6969 with :
7070 repository : " php/php-src"
7171 path : " php-src"
7878 - name : " Delete checked out php-src repo"
7979 run : " rm -rf php-src"
8080 - name : " Checkout PHP 8.3"
81- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
81+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
8282 with :
8383 repository : " php/php-src"
8484 path : " php-src"
9191 - name : " Delete checked out php-src repo"
9292 run : " rm -rf php-src"
9393 - name : " Checkout PHP 8.4"
94- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
94+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
9595 with :
9696 repository : " php/php-src"
9797 path : " php-src"
@@ -104,7 +104,7 @@ jobs:
104104 - name : " Delete checked out php-src repo"
105105 run : " rm -rf php-src"
106106 - name : " Checkout PHP 8.5"
107- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
107+ uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
108108 with :
109109 repository : " php/php-src"
110110 path : " php-src"
0 commit comments