Skip to content

Update the echidna script #72

Update the echidna script

Update the echidna script #72

Triggered via pull request November 23, 2023 13:03
Status Success
Total duration 1m 2s
Artifacts 1

auto-publish.yml

on: pull_request
Build, Validate and Deploy
50s

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
413 KB