diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-20 17:12:47 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-20 17:12:47 -0500 |
| commit | 2fb355fa020f061adf344064e347fbcfd6cbd87a (patch) | |
| tree | 065e89cbbaa689cda9db12a65724b45c9ed2111f /Omni/Ide/typecheck.sh | |
| parent | 414eb387de9d86ad8f10e58992007173aa8019cb (diff) | |
fix: instruct worker to reset to latest live code
- Workers need to pull the latest merged code before starting a new
task - Added 'git reset --hard origin/live' to Step 1 of the loop
Diffstat (limited to 'Omni/Ide/typecheck.sh')
0 files changed, 0 insertions, 0 deletions