Shielded RM spec #1859
pull-requests.yml
on: pull_request
  
    
      pre-commit
    
          
              17s
          
      
    
      build-basic-without-insiders-and-juvix
    
          
              1m 7s
          
      
    
      build-and-deploy-with-insiders-and-juvix
    
          
              4m 9s
          
      Annotations
4 warnings
          | 
                      
                          build-and-deploy-with-insiders-and-juvix
                        
                      
                       The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/ | 
| 
                      
                          build-and-deploy-with-insiders-and-juvix
                        
                      
                       The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/ | 
| 
                      
                          build-and-deploy-with-insiders-and-juvix
                        
                      
                       Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>08Rn2aAAAAAA1Uy2R8oncR6erd/m6rOmwUEhMMzBFREdFMDIyMABFZGdl | 
| 
                      
                          build-and-deploy-with-insiders-and-juvix
                        
                      
                       Failed to restore: Cache service responded with 400 |