add `--timeout-smt` to `check` and `simulate` #1442

Sign in to view logs

Summary
Jobs
- cut-release
Run details
- Usage
- Workflow file

Triggered via pull request August 14, 2024 16:11

konnov

closed #2936

igor/search-timeout

Status Skipped

Total duration 3s

Artifacts –

release.yml

on: pull_request