head

cherry-pick fixes #790

Triggered via push December 8, 2024 15:06

deirn

dev/1.21.1

Status Success

Total duration 11m 5s

Artifacts 1

head.yml

on: push

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size	Digest
wthit-e9d74dc Expired	4.34 MB	`sha256:491eae3eef86fe5f56054dcc485c6ec0d7f04a1dff0237a927148f99d6adeb6b`