Started by user Michele Scuttari
[Fri Sep 20 00:29:44 CEST 2024] Starting branch indexing...
Connecting to https://api.github.com using 914159/******
Examining marco-compiler/marco-runtime

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘.jenkins/dev-debian-12.Jenkinsfile’ found
    Met criteria
Branch reopened: master (2023c5e2c79789d35fd0e0cd242df2d6d57a6f58)
Scheduled build for branch: master

    Checking branch thaugdahl/assertions
      ‘.jenkins/dev-debian-12.Jenkinsfile’ not found
    Does not meet criteria

  2 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining marco-compiler/marco-runtime

[Fri Sep 20 00:29:45 CEST 2024] Finished branch indexing. Indexing took 1.4 sec
Evaluating orphaned items in marco-runtime-dev-debian-12
Will remove jenkins
Finished: SUCCESS