Build

test: Update Certora spec files #624

Sign in to view logs

Summary
Jobs
- build (16.x)
Run details
- Usage
- Workflow file

Triggered via push December 19, 2023 13:33

fix/373-gho-incident

Status Success

Total duration 4m 16s

Artifacts –

node.js.yml

on: push

Matrix: build