Skip to content

Conversation

@brianzheng206
Copy link
Contributor

@brianzheng206 brianzheng206 commented Nov 23, 2025

πŸ“‘ Description

πŸ“Ή (Optional) Video Demo of Changes

βœ… Checklist

  • My code builds and runs locally without warnings
  • I added/updated tests if needed
  • I updated documentation / comments
  • I listed any breaking changes in the β€œNotes” section

πŸ”— Related Issues / PRs

Fixes #123
Depends on #456

πŸ“ Notes for reviewers

Edwardius and others added 30 commits January 1, 2024 21:05
Full infrastructure setup. TODO: switch to Tilt
* giving bolty a password

* no more sudo

* adding bolty to the sudoers (if you know the password)

* renaming so that it makes more sense for our usecase

* changing build target

* no active modules
* dockerfile to Dockerfile

* removed ghcr cleaner, its not needed
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.