Started by user Michele Scuttari
[Wed Sep 18 12:04:03 CEST 2024] Starting branch indexing...
12:04:04 Connecting to https://api.github.com using 914159/******
Examining marco-compiler/marco
Checking branches...
Getting remote branches...
Checking branch master
Getting remote pull requests...
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch azzone-cramer
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch azzone-cramer2
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch azzone-symbolic
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch azzone-symbolic-rebase
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch azzone-symbolic-rebase-2
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch benatti-caleca-runtimeverif
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch dcattaneo/doc_sandbox
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch embedded_runtime
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch function-cse
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch jenkins
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ found
Met criteria
No changes detected: jenkins (still at ba3e0462fa2f48175e72a32eaefa560b08ce36e3)
Checking branch mscuttari/approximate-computing
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch mscuttari/dev
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch quaglia
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch quaglia2
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch sbg
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch sbg-new
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch thaugdahl/assertions
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
Checking branch windows
‘.jenkins/dev-ubuntu-22.04.Jenkinsfile’ not found
Does not meet criteria
19 branches were processed
Checking pull-requests...
0 pull requests were processed
Finished examining marco-compiler/marco
[Wed Sep 18 12:04:09 CEST 2024] Finished branch indexing. Indexing took 5.1 sec
Finished: SUCCESS