- 
                Notifications
    You must be signed in to change notification settings 
- Fork 583
Pull requests: MinaProtocol/mina
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
      feat: proof generation functions (native prover)
      
    
        
          #18052
            opened Oct 30, 2025  by
            bleepbloopsify
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      chore: kimchi-stubs jsoo bindings gets to include 
    
      
  .cargo in their builds
      
        
          #18034
            opened Oct 29, 2025  by
            bleepbloopsify
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Refactored version of mina-verify-packaged-fork-config
      
    
      
  
        
          #18026
            opened Oct 28, 2025  by
            dkijania
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      convert mina-verify-packages-fork-config bash->ocaml
      
    
      
  
        
          #18025
            opened Oct 28, 2025  by
            dkijania
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Make function helpers temporay in upgrade/downgrade script
      
    
      
  
        
          #18007
            opened Oct 27, 2025  by
            glyh
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Some refactoring on Lucy
        
              
                lucy
  Related to Test Executive/Lucy 
              
                refactor
        
      
    
      
  
        
          #17998
            opened Oct 24, 2025  by
            glyh
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      [DNM] [native-prover] Added a canary to proof-systems for e2e native prover
      
    
        
          #17988
            opened Oct 21, 2025  by
            bleepbloopsify
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      Use pkg-config to generate flags to patch in dune.flags.inc
      
    
      
  
        
          #17986
            opened Oct 21, 2025  by
            glyh
            
        
        
            
    
  
    Loading…
 
        
        
      
    Previous Next
  
  
  ProTip!
  Filter pull requests by the default branch with base:compatible.