diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-05-30 10:29:01 +0200 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2023-09-26 16:25:05 +0100 |
| commit | 7f1357de5136bd6f80758f1f31e6dba21acb9954 (patch) | |
| tree | 0df599bbb87151ccc96032a943e2bf04c363ad40 /src/headerssync.cpp | |
| parent | 0db69a3d500020e11fd67c55732e0d02eb606204 (diff) | |
ci: Use podman for persistent workers
Github-Pull: #27777
Rebased-From: fa123077bc3f39aa0969d883e2d799a054cd4543
Diffstat (limited to 'src/headerssync.cpp')
0 files changed, 0 insertions, 0 deletions