JavaScript Pipeline

SV-COMP 25 Hornix tool #390

Sign in to view logs

Triggered via pull request October 18, 2024 16:59

jankofron

synchronize #1085

jankofron:hornix

Status Success

Total duration 1m 20s

Artifacts –

javascript.yml

on: pull_request

Perform linting

Building the application