JavaScript Pipeline

SV-COMP 25 Hornix tool #391

Sign in to view logs

Triggered via pull request October 18, 2024 19:55

blishko

synchronize #1085

jankofron:hornix

Status Success

Total duration 1m 17s

Artifacts –

javascript.yml

on: pull_request

Perform linting

Building the application