Fix duplicate symbols linker error #3545
CI.yml
on: pull_request
  
    
      Ubuntu GCC, Code Coverage (x10)
    
          
              31m 1s
          
      
    
      GCC build regression check (no tests)
    
          
              2m 6s
          
      
    
      Ubuntu GCC with NTL and checking msolve (assert, x2)
    
          
              6h 0m
          
      
    
      Ubuntu ARM (x5)
    
          
              7m 13s
          
      
    
      macOS-M1, Clang (x3)
    
          
              8m 53s
          
      
    
      Ubuntu Clang, BLAS and examples (x5)
    
          
              12m 26s
          
      
    
      MinGW GCC (x0.5)
    
          
              12m 37s
          
      
    
      MSVC (x1)
    
          
              29m 31s
          
      
    
      Alpine Linux, musl, 32-bit (assert, x1.5)
    
          
              15m 22s
          
      
    
      Nemo.jl
    
          
              21m 47s
          
      Annotations
2 errors and 2 notices
          | 
                      
                          Ubuntu GCC with NTL and checking msolve (assert, x2)
                        
                      
                       The operation was canceled. | 
| 
                      
                          Ubuntu GCC with NTL and checking msolve (assert, x2)
                        
                      
                       The job has exceeded the maximum execution time of 6h0m0s | 
| 
                      
                          MinGW GCC (x0.5)
                        
                      
                       The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677 | 
| 
                      
                          MSVC (x1)
                        
                      
                       The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677 |