Skip to content
Snippets Groups Projects
S

stdpp

Star 13
Project ID: 401
Select Git revision
1 result Searching
  • Clone with SSH
  • Clone with HTTPS
    • Ralf Jung's avatar
    Merge branch 'rodolphe/dune-label' into 'master'
    Ralf Jung authored 
    Trigger dune CI in MRs with [CI-dune-job] label.

See merge request !634
    2d5412f4
    History
    Ralf Jung's avatar 2d5412f4
    History
    Name Last commit Last update