Skip to content

fix illegal character for TFF in SUMO term names #173

fix illegal character for TFF in SUMO term names

fix illegal character for TFF in SUMO term names #173

name: SUMO DEV CI
on:
push:
branches: [ "master", "main" ]
pull_request:
branches: [ "master", "main" ]
jobs:
call-sumo-check-workflow:
uses: ./.github/workflows/sumo-ci.yml
with:
vampire_timeout: '900'