Started by user Michele Scuttari
[Wed Sep 18 12:03:48 CEST 2024] Starting branch indexing...
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-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch azzone-cramer
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch azzone-cramer2
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch azzone-symbolic
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch azzone-symbolic-rebase
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch azzone-symbolic-rebase-2
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch benatti-caleca-runtimeverif
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch dcattaneo/doc_sandbox
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch embedded_runtime
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch function-cse
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch jenkins
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ found
    Met criteria
No changes detected: jenkins (still at ba3e0462fa2f48175e72a32eaefa560b08ce36e3)

    Checking branch mscuttari/approximate-computing
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mscuttari/dev
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch quaglia
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch quaglia2
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch sbg
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

    Checking branch sbg-new
      ‘.jenkins/dev-fedora-40.Jenkinsfile’ not found
    Does not meet criteria

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

    Checking branch windows
      ‘.jenkins/dev-fedora-40.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:03:53 CEST 2024] Finished branch indexing. Indexing took 5 sec
Finished: SUCCESS