Bump version and make master job

Move nailgun to lib/kframework/bin (#3825) #628

Sign in to view logs

Triggered via push November 29, 2023 18:42

rv-jenkins

develop

Status Success

Total duration 1m 9s

Artifacts –

develop.yml

on: push

Performace Tests