Trigger Jenkins CI

Some cosmetics to the previous bug fix. Note that the bug fix is due … #141

Sign in to view logs

Triggered via push September 12, 2024 13:34

master

Status Success

Total duration 15m 37s

Artifacts –

jenkins-trigger.yml

on: push

trigger-jenkins-job