| commit | d14e2d9b5c2b96fdea1939de2d20dd2c252cf6e9 | [log] [tgz] |
|---|---|---|
| author | Henner Zeller <h.zeller@acm.org> | Wed Apr 16 09:22:07 2025 -0700 |
| committer | GitHub <noreply@github.com> | Wed Apr 16 09:22:07 2025 -0700 |
| tree | c250e9d1fe4babcb36731c9a5388fd0d4dff6b71 | |
| parent | f98dfed11a60647afde40707ffdaa45bc9c2395c [diff] | |
| parent | ba27b34c8faf519af8c270ed24733298bc573b6b [diff] |
Merge pull request #2393 from hzeller/feature-20250416-update-ci-ubuntu Update remaining CI runners to ubuntu 24.04