Skip to content

Merge github.com:sosy-lab/benchexec into router-up #20

Merge github.com:sosy-lab/benchexec into router-up

Merge github.com:sosy-lab/benchexec into router-up #20

Triggered via push June 28, 2024 06:52
Status Success
Total duration 1m 5s
Artifacts

javascript.yml

on: push
Perform linting
45s
Perform linting
Running tests
49s
Running tests
Building the application
57s
Building the application
Fit to window
Zoom out
Zoom in