Started by user <a href='/jenkins/user/mscuttari' class='jenkins-table__link model-link model-link--float'>Michele Scuttari</a>
Obtained .jenkins/docker-dev-debian-12.Jenkinsfile from git <a href='https://github.com/marco-compiler/marco.git'>https://github.com/marco-compiler/marco.git</a>
<span class="pipeline-new-node" nodeId="2" startId="2">[Pipeline] Start of Pipeline
</span><span class="pipeline-new-node" nodeId="3" enclosingId="2">[Pipeline] publishChecks
</span><span class="pipeline-node-3">[Checks API] No suitable checks publisher found.
</span><span class="pipeline-new-node" nodeId="4" startId="4" enclosingId="2">[Pipeline] node
</span>Aborted by <a href='/jenkins/user/mscuttari' class='jenkins-table__link model-link model-link--float'>Michele Scuttari</a>
<span class="pipeline-new-node" nodeId="5" startId="4">[Pipeline] // node
</span><span class="pipeline-new-node" nodeId="6" startId="2">[Pipeline] End of Pipeline
</span>org.jenkinsci.plugins.workflow.actions.ErrorAction$ErrorId: b8c57e11-4b26-44ee-9bd9-8d6658122e2f
Finished: ABORTED