@@ -23,14 +23,14 @@ 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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
3434 - name : " Install PHP"
3535 uses : " shivammathur/setup-php@7c071dfe9dc99bdf297fa79cb49ea005b9fcadbc" # v2.37.1
3636 with :
4040 run : " composer install"
4141 working-directory : ./extractor
4242 - name : " Checkout"
43- uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
43+ uses : actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 .0.0
108108 with :
109109 repository : " php/php-src"
110110 path : " php-src"
0 commit comments