Success
Scan Repository Log
Started by user Michele Scuttari
[Fri Sep 20 00:30:10 CEST 2024] Starting branch indexing...
00:30:10 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-ubuntu-22.04.Jenkinsfile’ found
Met criteria
Branch reopened: master (2023c5e2c79789d35fd0e0cd242df2d6d57a6f58)
Scheduled build for branch: master
Checking branch thaugdahl/assertions
‘.jenkins/dev-ubuntu-22.04.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:30:12 CEST 2024] Finished branch indexing. Indexing took 1.4 sec
Finished: SUCCESS