Updates submodules #4134

Re-run triggered July 13, 2023 08:56

ArquintL

auto-update-submodules

Status Success

Total duration 23m 10s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: push

1 warning

Z3 used up to 0.920784GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	622 KB