Skip to content
Snippets Groups Projects
Unverified Commit 40130fa9 authored by Andrea Franchini's avatar Andrea Franchini
Browse files

fix missing dep on pytest

parent 63c400cc
Branches
No related tags found
No related merge requests found
Pipeline #122495 canceled
Pipeline: DOML Model Checker

#122497

    Pipeline: DOML Model Checker

    #122496