Started by user Michele Scuttari
[Fri Sep 20 00:29:44 CEST 2024] Starting branch indexing...
00:29:44 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