Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • y3
  • y1
3 results

doml-model-checker

  • Clone with SSH
  • Clone with HTTPS
    • andrea3.franchini@mail.polimi.it's avatar
    Merge branch 'feature/change_deploy_version' into 'main'
    Andrea Franchini authored 
    change the deploy version target to y2

See merge request piacere/private/t41-doml-model-checker!6
    ed22a5f7
    History
    andrea3.franchini@mail.polimi.it's avatar ed22a5f7
    History
    Name Last commit Last update