Skip to content

added new terms in Transport_2024.kif #278

added new terms in Transport_2024.kif

added new terms in Transport_2024.kif #278

Workflow file for this run

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'