JavaScript Pipeline

Merge pull request #1049 from Po-Chun-Chien/update-btor2c-tool-info #109

Sign in to view logs

Triggered via push June 3, 2024 15:51

main

Status Success

Total duration 1m 35s

Artifacts –

javascript.yml

on: push

Perform linting

Building the application