Back to pull request #1116

SV-COMP 2025: Update the processing of output of Hornix #569

Sign in to view logs

Triggered via pull request November 21, 2024 08:12

blishko

opened #1116

blishko:hornix-update

Status Success

Total duration 1m 16s

Artifacts –

javascript.yml

on: pull_request

Perform linting

Building the application