Skip to content
Update Silver Submodule

Test infrastructure for --counterexample=variables tests for both bac… #246

Sign in to view logs

Test infrastructure for --counterexample=variables tests for both bac…

Test infrastructure for --counterexample=variables tests for both bac… #246

Triggered via push April 23, 2025 12:02
@marcoeilersmarcoeilers
pushed 5295393
master
Status Success
Total duration 19s
Artifacts –

update_submodules.yml

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