diff options
| author | Roman Melnikov | 2023-04-21 15:54:10 +0800 |
|---|---|---|
| committer | GitHub | 2023-04-21 15:54:10 +0800 |
| commit | c2ea4e642dc50fd44b537e9860ec95867af30d39 (patch) | |
| tree | 4fe6236b5c2e0c0a46c519243b2693062414e722 /.github | |
| parent | 8c9ea9605eed20528bf60fae35a2b613b901fd77 (diff) | |
| parent | 55aac55cfafec93938e19a6b475142d81110b3d4 (diff) | |
Merge pull request #198 from serokell/rvem/#197-fix-options-handling-with-remote-build
[#197] Fix hostname overriding for remote builds
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions