diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
| commit | 0104b24ebd524752b92ebe88fd6ac3adc3517aa9 (patch) | |
| tree | de3aae7a90e3322a0bb77bbcb63610891ca13d2c /.github/workflows | |
| parent | 3a00df97d6d1fa5a77af1953f1b23b2de7298eaa (diff) | |
evanix: use highs by default
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions