Skip to content
MIRAI on MIRAI

Cleanup function summary caches, take 2. (#19) #44

Sign in to view logs

Cleanup function summary caches, take 2. (#19)

Cleanup function summary caches, take 2. (#19) #44

Triggered via push December 9, 2024 17:50
@hermanventerhermanventer
pushed 5c6b05f
main
Status Success
Total duration 47m 39s
Artifacts –

mirai_on_mirai.yml

on: push
Matrix: build_with_vcpkg_installed_z3
Fit to window
Zoom out
Zoom in

Annotations

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