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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

failed 13/13 goals-updated-after-search-many-steps (0.224193 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.323895 sec)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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/.

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/

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/

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/

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/.

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

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/.