Bugfix: No run-the-numbers if not synced fixes #2305 (#2457) #1807

Annotations

12 warnings

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

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

>> hint: Using 'master' as the name for the initial branch. This default branch name

>> hint: is subject to change. To configure the initial branch name to use in all

>> hint: of your new repositories, which will suppress this warning, call:

>> hint:

>> hint: git config --global init.defaultBranch <name>

>> hint:

>> hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and

>> hint: 'development'. The just-created branch can be renamed via this command:

>> hint:

>> hint: git branch -m <name>