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

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

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

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

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

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

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

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

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

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.723553 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 1/2 proof-check-correct-stat (0.836536 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.326700 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 1/2 proof-check-correct-stat (0.668279 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.415425 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 1/2 proof-check-correct-stat (0.803626 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.325100 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 1/2 proof-check-correct-stat (0.987817 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.430028 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 1/2 proof-check-correct-stat (0.882484 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/