Unit Tests

enhance: accept promela files #547

Sign in to view logs

Summary
Jobs
- unit-tests
Run details
- Usage
- Workflow file

Triggered via pull request April 16, 2024 00:44

ublefo

opened #437

ublefo:promela

Status Success

Total duration 17m 21s

Artifacts –

push.yml

on: pull_request