Actions: data-apis/array-api-extra
Actions
      741 workflow run results
    
  
          741 workflow run results
        
    pad: pad_width can be any sequence
          
        
      
        CI
        #449:
        
            Pull request #114
            opened
            by
              crusaderky
              
        
      
      
    isclose
          
        
      
        CI
        #448:
        
            Pull request #113
            synchronize
            by
              crusaderky
              
        
      
      
    isclose
          
        
      
        CI
        #447:
        
            Pull request #113
            synchronize
            by
              crusaderky
              
        
      
      
    skip_xp_backends
          
        
      
        CI
        #433:
        
            Pull request #106
            synchronize
            by
              crusaderky
              
        
      
      
    skip_xp_backends
          
        
      
        CI
        #432:
        
            Pull request #106
            opened
            by
              crusaderky
              
        
      
      
    pixi run lint improvements
          
        
      
        CI
        #428:
        
            Pull request #104
            synchronize
            by
              crusaderky
              
        
      
      
    pixi run lint improvements
          
        
      
        CI
        #427:
        
            Pull request #104
            synchronize
            by
              crusaderky
              
        
      
      
    pixi run lint improvements
          
        
      
        CI
        #426:
        
            Pull request #104
            synchronize
            by
              crusaderky
              
        
      
      
    pixi run lint improvements
          
        
      
        CI
        #425:
        
            Pull request #104
            opened
            by
              crusaderky
              
        
      
      
    
    
    ProTip!
      You can narrow down the results and go further in time using created:<2025-01-20 or the other filters available.