diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-08-25 08:29:15 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-25 08:29:15 +0530 |
| commit | 62b91f57e1a16becd95a5ae4575c42e878e19723 (patch) | |
| tree | 507616223a6449c764b3dc111ffc85060f976848 /.gitignore | |
| parent | 0619958e246182c02d300fe82e49f8c9d2b3a162 (diff) | |
evanix: only disable pipeline when highs is in use
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions