JavaScript Pipeline

SV-COMP 25: Add tool info for RacerF #406

Sign in to view logs

Triggered via pull request October 21, 2024 13:15

TDacik

synchronize #1089

TDacik:main

Status Success

Total duration 1m 17s

Artifacts –

javascript.yml

on: pull_request

Perform linting

Building the application