Test

Merge pull request #177 from moves-rwth/166-when-deleting-state-and-t… #490

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push February 4, 2025 13:42

PimLeerkes

170-fix-simulator-and-model-checker-on-remove_action_names-branch

Status Success

Total duration 2m 23s

Artifacts –

test.yml

on: push