failed 1/2 proof-check-correct-stat

failed 1/13 goals-after-auto

failed 2/13 goals-after-comment

failed 3/13 goals-after-error

failed 4/13 goals-after-proof

failed 8/13 goals-reset-qed

failed 11/13 goals-up-to-date-at-error

failed 12/13 goals-updated-after-check-many-steps

failed 13/13 goals-updated-after-search-many-steps

failed 1/2 proof-check-correct-stat (0.627974 sec)

failed 1/13 goals-after-auto (0.218899 sec)

failed 2/13 goals-after-comment (0.152703 sec)

failed 3/13 goals-after-error (0.156360 sec)

failed 4/13 goals-after-proof (0.150894 sec)

failed 8/13 goals-reset-qed (0.153702 sec)

failed 11/13 goals-up-to-date-at-error (0.166254 sec)

failed 12/13 goals-updated-after-check-many-steps (0.165351 sec)

failed 13/13 goals-updated-after-search-many-steps (0.173323 sec)

failed 1/2 proof-check-correct-stat (0.760503 sec)

failed 1/13 goals-after-auto (0.277415 sec)

failed 2/13 goals-after-comment (0.164124 sec)

failed 3/13 goals-after-error (0.178676 sec)

failed 4/13 goals-after-proof (0.165103 sec)

failed 8/13 goals-reset-qed (0.173396 sec)

failed 11/13 goals-up-to-date-at-error (0.178923 sec)

failed 12/13 goals-updated-after-check-many-steps (0.189587 sec)

failed 13/13 goals-updated-after-search-many-steps (0.181204 sec)

failed 1/2 proof-check-correct-stat (0.644170 sec)

failed 1/13 goals-after-auto (0.230432 sec)

failed 2/13 goals-after-comment (0.165862 sec)

failed 3/13 goals-after-error (0.167798 sec)

failed 4/13 goals-after-proof (0.167826 sec)

failed 8/13 goals-reset-qed (0.168838 sec)

failed 11/13 goals-up-to-date-at-error (0.179710 sec)

failed 12/13 goals-updated-after-check-many-steps (0.177904 sec)

failed 13/13 goals-updated-after-search-many-steps (0.188820 sec)

failed 1/2 proof-check-correct-stat (0.650138 sec)

failed 1/13 goals-after-auto (0.221548 sec)

failed 2/13 goals-after-comment (0.153343 sec)

failed 3/13 goals-after-error (0.155062 sec)

failed 4/13 goals-after-proof (0.152692 sec)

failed 8/13 goals-reset-qed (0.153839 sec)

failed 11/13 goals-up-to-date-at-error (0.166254 sec)

failed 12/13 goals-updated-after-check-many-steps (0.163973 sec)

failed 13/13 goals-updated-after-search-many-steps (0.168943 sec)

failed 1/2 proof-check-correct-stat (0.737586 sec)

failed 1/13 goals-after-auto (0.255423 sec)

failed 2/13 goals-after-comment (0.148720 sec)

failed 3/13 goals-after-error (0.164694 sec)

failed 4/13 goals-after-proof (0.148200 sec)

failed 8/13 goals-reset-qed (0.150979 sec)

failed 11/13 goals-up-to-date-at-error (0.162436 sec)

failed 12/13 goals-updated-after-check-many-steps (0.176048 sec)

failed 13/13 goals-updated-after-search-many-steps (0.169413 sec)

failed 1/2 proof-check-correct-stat (0.782791 sec)

failed 1/13 goals-after-auto (0.297305 sec)

failed 2/13 goals-after-comment (0.188077 sec)

failed 3/13 goals-after-error (0.204336 sec)

failed 4/13 goals-after-proof (0.196688 sec)

failed 8/13 goals-reset-qed (0.188589 sec)

failed 11/13 goals-up-to-date-at-error (0.200088 sec)

failed 12/13 goals-updated-after-check-many-steps (0.211811 sec)

failed 13/13 goals-updated-after-search-many-steps (0.211476 sec)

failed 1/2 proof-check-correct-stat (0.680989 sec)

failed 1/13 goals-after-auto (0.261124 sec)

failed 2/13 goals-after-comment (0.193520 sec)

failed 3/13 goals-after-error (0.193805 sec)

failed 4/13 goals-after-proof (0.191946 sec)

failed 8/13 goals-reset-qed (0.191477 sec)

failed 11/13 goals-up-to-date-at-error (0.218097 sec)

failed 12/13 goals-updated-after-check-many-steps (0.203651 sec)

failed 13/13 goals-updated-after-search-many-steps (0.215097 sec)

failed 1/13 goals-after-auto (0.311544 sec)

failed 2/13 goals-after-comment (0.190675 sec)

failed 3/13 goals-after-error (0.209094 sec)

failed 4/13 goals-after-proof (0.200908 sec)

failed 8/13 goals-reset-qed (0.192734 sec)

failed 11/13 goals-up-to-date-at-error (0.205996 sec)

failed 12/13 goals-updated-after-check-many-steps (0.217105 sec)

failed 13/13 goals-updated-after-search-many-steps (0.213767 sec)

failed 1/2 proof-check-correct-stat (0.785232 sec)

failed 1/13 goals-after-auto

failed 2/13 goals-after-comment

failed 3/13 goals-after-error

failed 4/13 goals-after-proof

failed 8/13 goals-reset-qed

failed 11/13 goals-up-to-date-at-error

failed 12/13 goals-updated-after-check-many-steps

failed 13/13 goals-updated-after-search-many-steps

failed 1/2 proof-check-correct-stat

failed 1/13 goals-after-auto (0.334723 sec)

failed 2/13 goals-after-comment (0.214258 sec)

failed 3/13 goals-after-error (0.197561 sec)

failed 4/13 goals-after-proof (0.213265 sec)

failed 8/13 goals-reset-qed (0.196712 sec)

failed 11/13 goals-up-to-date-at-error (0.227573 sec)

failed 12/13 goals-updated-after-check-many-steps (0.228392 sec)

failed 13/13 goals-updated-after-search-many-steps (0.237592 sec)

failed 1/2 proof-check-correct-stat (0.830458 sec)

failed 1/13 goals-after-auto (0.278962 sec)

failed 2/13 goals-after-comment (0.197376 sec)

failed 3/13 goals-after-error (0.198880 sec)

failed 4/13 goals-after-proof (0.198937 sec)

failed 8/13 goals-reset-qed (0.197335 sec)

failed 11/13 goals-up-to-date-at-error (0.211696 sec)

failed 12/13 goals-updated-after-check-many-steps (0.210952 sec)

failed 13/13 goals-updated-after-search-many-steps (0.221391 sec)

failed 1/2 proof-check-correct-stat (0.671097 sec)

failed 1/13 goals-after-auto (0.314502 sec)

failed 2/13 goals-after-comment (0.196137 sec)

failed 3/13 goals-after-error (0.204232 sec)

failed 4/13 goals-after-proof (0.194115 sec)

failed 8/13 goals-reset-qed (0.192855 sec)

failed 11/13 goals-up-to-date-at-error (0.206623 sec)

failed 12/13 goals-updated-after-check-many-steps (0.220852 sec)

failed 13/13 goals-updated-after-search-many-steps (0.214157 sec)

failed 1/2 proof-check-correct-stat (0.784145 sec)

failed 1/13 goals-after-auto (0.326196 sec)

failed 2/13 goals-after-comment (0.204043 sec)

failed 3/13 goals-after-error (0.196574 sec)

failed 4/13 goals-after-proof (0.204397 sec)

failed 8/13 goals-reset-qed (0.191428 sec)

failed 11/13 goals-up-to-date-at-error (0.218658 sec)

failed 12/13 goals-updated-after-check-many-steps (0.214688 sec)

failed 13/13 goals-updated-after-search-many-steps (0.213135 sec)

failed 1/2 proof-check-correct-stat (0.810541 sec)

failed 1/13 goals-after-auto (0.277410 sec)

failed 2/13 goals-after-comment (0.191977 sec)

failed 3/13 goals-after-error (0.195474 sec)

failed 4/13 goals-after-proof (0.205824 sec)

failed 8/13 goals-reset-qed (0.195367 sec)

failed 11/13 goals-up-to-date-at-error (0.205945 sec)

failed 12/13 goals-updated-after-check-many-steps (0.203222 sec)

failed 13/13 goals-updated-after-search-many-steps (0.217179 sec)

failed 1/2 proof-check-correct-stat (0.667093 sec)

failed 1/13 goals-after-auto

failed 2/13 goals-after-comment

failed 3/13 goals-after-error

failed 4/13 goals-after-proof

failed 8/13 goals-reset-qed

failed 11/13 goals-up-to-date-at-error

failed 12/13 goals-updated-after-check-many-steps

failed 13/13 goals-updated-after-search-many-steps

failed 1/2 proof-check-correct-stat

failed 1/13 goals-after-auto

failed 2/13 goals-after-comment

failed 3/13 goals-after-error

failed 4/13 goals-after-proof

failed 8/13 goals-reset-qed

failed 11/13 goals-up-to-date-at-error

failed 12/13 goals-updated-after-check-many-steps

failed 13/13 goals-updated-after-search-many-steps

failed 1/2 proof-check-correct-stat

failed 1/13 goals-after-auto (0.313058 sec)

failed 2/13 goals-after-comment (0.191746 sec)

failed 3/13 goals-after-error (0.203906 sec)

failed 4/13 goals-after-proof (0.203483 sec)

failed 8/13 goals-reset-qed (0.192086 sec)

failed 11/13 goals-up-to-date-at-error (0.203788 sec)

failed 12/13 goals-updated-after-check-many-steps (0.216921 sec)

failed 13/13 goals-updated-after-search-many-steps (0.218352 sec)

failed 1/2 proof-check-correct-stat (0.767999 sec)

failed 1/13 goals-after-auto (0.275127 sec)

failed 2/13 goals-after-comment (0.195148 sec)

failed 3/13 goals-after-error (0.196604 sec)

failed 4/13 goals-after-proof (0.192206 sec)

failed 8/13 goals-reset-qed (0.193403 sec)

failed 11/13 goals-up-to-date-at-error (0.207295 sec)

failed 12/13 goals-updated-after-check-many-steps (0.209042 sec)

failed 13/13 goals-updated-after-search-many-steps (0.215007 sec)

failed 1/2 proof-check-correct-stat (0.669670 sec)

failed 1/13 goals-after-auto (0.291214 sec)

failed 2/13 goals-after-comment (0.203693 sec)

failed 3/13 goals-after-error (0.202782 sec)

failed 4/13 goals-after-proof (0.201897 sec)

failed 8/13 goals-reset-qed (0.200245 sec)

failed 11/13 goals-up-to-date-at-error (0.212379 sec)

failed 12/13 goals-updated-after-check-many-steps (0.212010 sec)

failed 13/13 goals-updated-after-search-many-steps (0.222553 sec)

failed 1/2 proof-check-correct-stat (0.684992 sec)

failed 1/13 goals-after-auto (0.372849 sec)

failed 2/13 goals-after-comment (0.307335 sec)

failed 3/13 goals-after-error (0.304668 sec)

failed 4/13 goals-after-proof (0.303862 sec)

failed 8/13 goals-reset-qed (0.306289 sec)

failed 11/13 goals-up-to-date-at-error (0.320220 sec)

failed 12/13 goals-updated-after-check-many-steps (0.318635 sec)

failed 13/13 goals-updated-after-search-many-steps (0.325742 sec)

failed 1/2 proof-check-correct-stat (0.838228 sec)

failed 1/13 goals-after-auto (0.342929 sec)

failed 2/13 goals-after-comment (0.209694 sec)

failed 3/13 goals-after-error (0.213000 sec)

failed 4/13 goals-after-proof (0.213366 sec)

failed 8/13 goals-reset-qed (0.211169 sec)

failed 11/13 goals-up-to-date-at-error (0.223350 sec)

failed 12/13 goals-updated-after-check-many-steps (0.223066 sec)

failed 13/13 goals-updated-after-search-many-steps (0.218944 sec)

failed 1/2 proof-check-correct-stat (0.858562 sec)

failed 1/13 goals-after-auto (0.373083 sec)

failed 2/13 goals-after-comment (0.304160 sec)

failed 3/13 goals-after-error (0.308863 sec)

failed 4/13 goals-after-proof (0.307150 sec)

failed 8/13 goals-reset-qed (0.307159 sec)

failed 11/13 goals-up-to-date-at-error (0.320133 sec)

failed 12/13 goals-updated-after-check-many-steps (0.317288 sec)

failed 13/13 goals-updated-after-search-many-steps (0.330827 sec)

failed 1/2 proof-check-correct-stat (0.834495 sec)

failed 1/13 goals-after-auto (0.464860 sec)

failed 2/13 goals-after-comment (0.324623 sec)

failed 3/13 goals-after-error (0.313117 sec)

failed 4/13 goals-after-proof (0.326396 sec)

failed 8/13 goals-reset-qed (0.310312 sec)

failed 11/13 goals-up-to-date-at-error (0.344032 sec)

failed 12/13 goals-updated-after-check-many-steps (0.344992 sec)

failed 13/13 goals-updated-after-search-many-steps (0.369918 sec)

failed 1/2 proof-check-correct-stat (1.030899 sec)

failed 1/13 goals-after-auto (0.422387 sec)

failed 2/13 goals-after-comment (0.305721 sec)

failed 3/13 goals-after-error (0.338575 sec)

failed 4/13 goals-after-proof (0.307254 sec)

failed 8/13 goals-reset-qed (0.308987 sec)

failed 11/13 goals-up-to-date-at-error (0.317253 sec)

failed 12/13 goals-updated-after-check-many-steps (0.334381 sec)

failed 13/13 goals-updated-after-search-many-steps (0.327702 sec)

failed 1/2 proof-check-correct-stat (0.956201 sec)

failed 1/13 goals-after-auto (0.415113 sec)

failed 2/13 goals-after-comment (0.304388 sec)

failed 3/13 goals-after-error (0.322447 sec)

failed 4/13 goals-after-proof (0.313631 sec)

failed 8/13 goals-reset-qed (0.308567 sec)

failed 11/13 goals-up-to-date-at-error (0.321035 sec)

failed 12/13 goals-updated-after-check-many-steps (0.329897 sec)

failed 13/13 goals-updated-after-search-many-steps (0.333960 sec)

failed 1/2 proof-check-correct-stat (0.963181 sec)

failed 1/13 goals-after-auto

failed 2/13 goals-after-comment

failed 3/13 goals-after-error

failed 4/13 goals-after-proof

failed 8/13 goals-reset-qed

failed 11/13 goals-up-to-date-at-error

failed 12/13 goals-updated-after-check-many-steps

failed 13/13 goals-updated-after-search-many-steps

failed 1/2 proof-check-correct-stat

failed 1/13 goals-after-auto (0.416425 sec)

failed 2/13 goals-after-comment (0.309262 sec)

failed 3/13 goals-after-error (0.324976 sec)

failed 4/13 goals-after-proof (0.305929 sec)

failed 8/13 goals-reset-qed (0.312421 sec)

failed 11/13 goals-up-to-date-at-error (0.322264 sec)

failed 12/13 goals-updated-after-check-many-steps (0.335339 sec)

failed 13/13 goals-updated-after-search-many-steps (0.341899 sec)

failed 1/2 proof-check-correct-stat (0.946247 sec)

failed 1/13 goals-after-auto (0.433356 sec)

failed 2/13 goals-after-comment (0.323839 sec)

failed 3/13 goals-after-error (0.323260 sec)

failed 4/13 goals-after-proof (0.323169 sec)

failed 8/13 goals-reset-qed (0.308941 sec)

failed 11/13 goals-up-to-date-at-error (0.337367 sec)

failed 12/13 goals-updated-after-check-many-steps (0.332811 sec)

failed 13/13 goals-updated-after-search-many-steps (0.348515 sec)

failed 1/2 proof-check-correct-stat (0.994702 sec)

failed 1/13 goals-after-auto (0.383176 sec)

failed 2/13 goals-after-comment (0.323185 sec)

failed 3/13 goals-after-error (0.331444 sec)

failed 4/13 goals-after-proof (0.321294 sec)

failed 8/13 goals-reset-qed (0.318327 sec)

failed 11/13 goals-up-to-date-at-error (0.330219 sec)

failed 12/13 goals-updated-after-check-many-steps (0.338908 sec)

failed 13/13 goals-updated-after-search-many-steps (0.353426 sec)

failed 1/2 proof-check-correct-stat (0.879411 sec)

failed 1/13 goals-after-auto (0.381549 sec)

failed 2/13 goals-after-comment (0.310541 sec)

failed 3/13 goals-after-error (0.312527 sec)

failed 4/13 goals-after-proof (0.309312 sec)

failed 8/13 goals-reset-qed (0.310865 sec)

failed 11/13 goals-up-to-date-at-error (0.324457 sec)

failed 12/13 goals-updated-after-check-many-steps (0.325870 sec)

failed 13/13 goals-updated-after-search-many-steps (0.334128 sec)

failed 1/2 proof-check-correct-stat (0.834556 sec)

failed 1/13 goals-after-auto (0.470080 sec)

failed 2/13 goals-after-comment (0.332965 sec)

failed 3/13 goals-after-error (0.324793 sec)

failed 4/13 goals-after-proof (0.334859 sec)

failed 8/13 goals-reset-qed (0.319404 sec)

failed 11/13 goals-up-to-date-at-error (0.344723 sec)

failed 12/13 goals-updated-after-check-many-steps (0.358931 sec)

failed 13/13 goals-updated-after-search-many-steps (0.342429 sec)

failed 1/2 proof-check-correct-stat (1.044115 sec)

failed 1/13 goals-after-auto (0.379889 sec)

failed 2/13 goals-after-comment (0.311377 sec)

failed 3/13 goals-after-error (0.319874 sec)

failed 4/13 goals-after-proof (0.314948 sec)

failed 8/13 goals-reset-qed (0.309661 sec)

failed 11/13 goals-up-to-date-at-error (0.325915 sec)

failed 12/13 goals-updated-after-check-many-steps (0.330944 sec)

failed 13/13 goals-updated-after-search-many-steps (0.335392 sec)

failed 1/2 proof-check-correct-stat (0.846788 sec)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to remove 'http.https://github.com/.extraheader' from the git config

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/