diff options
author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-20 12:13:00 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2024-09-23 12:42:07 +1000 |
commit | 8a9042a72bbfed7dcea56026ae42ee12f716f708 (patch) | |
tree | f47b7f35e8df9de0b6fc5cb5f4780443d47fc1ae /tools/metrics.py | |
parent | f1b88e0d597c8117167d4eacf8bdce6518f115c3 (diff) |
github/workflows: Update Ubuntu images for code size CI tasks.
This updates the Ubuntu OS image the code size CI tasks run on, from
20.04-LTS to 22.04-LTS. This is needed because 20.04 didn't have
packages that are needed to build RISC-V 32 code.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions