Build

Certora GSM Review #80

Sign in to view logs

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

Triggered via push January 29, 2024 10:31

certora-squashed

Status Failure

Total duration 3s

Artifacts –

node.js.yml

on: push

Matrix: build

Annotations

1 error

build (16.x)

Unable to find self-hosted runner group: 'larger'.