JavaScript Pipeline

Merge pull request #1125 from sosy-lab/witnessmap-refactoring #599

Sign in to view logs

Triggered via push November 22, 2024 16:35

main

Status Success

Total duration 1m 22s

Artifacts –

javascript.yml

on: push

Perform linting

Building the application