Update Silver Submodule

Merge pull request #836 from viperproject/arquintl-fix-predicate-inst… #219

Sign in to view logs

Triggered via push January 31, 2025 14:55

ArquintL

master

Status Success

Total duration 20s

Artifacts –

update_submodules.yml

on: push

Matrix: update_submodule