Port Inlay hints for name parameters #36034
ci.yaml
on: pull_request
  
    
      test_non_bootstrapped
    
          
              0s
          
      
    
      test
    
          
              2m 40s
          
      
    
      MiMa
    
          
              2m 41s
          
      
    
      community_build_a
    
          
              2m 44s
          
      
    
      community_build_b
    
          
              2m 46s
          
      
    
      community_build_c
    
          
              2m 46s
          
      
    
      test_sbt
    
          
              1s
          
      
    
      test_java8
    
          
              0s
          
      
      build-sdk-package 
      /
     build
          
              2m 48s
          
      
      build-msi-package 
      /
     build
      
    
      test_windows_full
    
          
              0s
          
      
    
      test_scala2_library_tasty
    
          
              0s
          
      
    
      test_windows_fast
    
          
              2m 46s
          
      
      
        Matrix: publish_nightly
      
    
    
      test-msi-package 
      /
     test
      
    
      publish_release
    
          
              0s
          
      
      test-chocolatey-package 
      /
     test
      
    
      open_issue_on_failure
    
          
              0s
          
      Annotations
17 errors and 1 warning
          | 
                   
                      
                          test_sbt
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          test
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          test
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          MiMa
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          MiMa
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          community_build_a
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          community_build_a
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          test_windows_fast
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          test_windows_fast
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          community_build_b
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          community_build_b
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          community_build_c
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          community_build_c
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          build-sdk-package / build
                        
                      
                       
                  The operation was canceled. 
                         | 
              
| 
                   
                      
                          build-sdk-package / build
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          Dotty
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          Dotty
                        
                      
                       
                  Canceling since a higher priority waiting request for Dotty-refs/pull/23375/merge exists 
                         | 
              
| 
                   
                      
                          test_windows_fast
                        
                      
                       
                  Unable to clean or reset the repository. The repository will be recreated instead. 
                         |