diff options
| author | klensy <klensy@users.noreply.github.com> | 2023-08-08 17:07:37 +0300 |
|---|---|---|
| committer | klensy <klensy@users.noreply.github.com> | 2023-08-08 17:07:37 +0300 |
| commit | 524572df7a9f75e21bbeeaeb8ab3a3c5cba37ba8 (patch) | |
| tree | 8b8747d4ea91c27bf261b3857715e19b7819af21 /src/doc/reference | |
| parent | 6d55184d05c9bd3c46b294dcad3bfb1d0907e871 (diff) | |
use smaller machines in CI PR runs
Diffstat (limited to 'src/doc/reference')
0 files changed, 0 insertions, 0 deletions