Skip to content
Update Silver Submodule

Updating test annotations for Z3 4.16.0 (#930) #304

Sign in to view logs

Updating test annotations for Z3 4.16.0 (#930)

Updating test annotations for Z3 4.16.0 (#930) #304

Triggered via push August 25, 2026 20:09
@marcoeilersmarcoeilers
pushed 02e25d9
master
Status Success
Total duration 5m 14s
Artifacts –

update_submodules.yml

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