Improve distinction between pushed and unpushed commits #1494
        
          Triggered via issue
            October 17, 2025 06:50 
        
        
      
      
      
        Status
        Skipped
      
      
        Total duration
          
            1s
          
      
      
        Artifacts
          
          –