Echidna tests

Update specberus-wrapper and tests for Specberus v13 #1873

Sign in to view logs

Triggered via pull request July 1, 2026 20:36

kfranqueiro

synchronize #1325

specberus-13

Status Success

Total duration 48s

Artifacts –

node.js.yml

on: pull_request

Matrix: test