Skip to content

fix: use bob update nightly instead of bob update#23

Merged
nickboy merged 1 commit into
masterfrom
fix/bob-update-nightly
Nov 24, 2025
Merged

fix: use bob update nightly instead of bob update#23
nickboy merged 1 commit into
masterfrom
fix/bob-update-nightly

Conversation

@nickboy

@nickboy nickboy commented Nov 24, 2025

Copy link
Copy Markdown
Owner

Summary

  • Changed bob update to bob update nightly in daily-maintenance.sh
  • Fixes "Cannot find stable release" error in bob v4.1.5
  • We only use nightly anyway, so this is the correct behavior

Related

Test plan

  • Verified bob update nightly works correctly

bob v4.1.5 has a bug where `bob update` fails with "Cannot find stable
release" error. Since we only use nightly, explicitly specify nightly
to avoid this issue.

See: MordechaiHadad/bob#355
@nickboy nickboy merged commit 96e733e into master Nov 24, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant