Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to tool/lighting at aniva/Cosplay 2024-12-07 12:09:57 -08:00
d1fd830766 feat: Light panel assembly
aniva pushed to tool/lighting at aniva/Cosplay 2024-12-06 16:43:21 -08:00
3884d75f1c chore: Add build function
aniva created pull request aniva/Cosplay#9 2024-12-06 16:41:06 -08:00
tool: Light panel
aniva pushed to tool/lighting at aniva/Cosplay 2024-12-06 16:40:24 -08:00
ca437c3855 feat: Light panel layer
aniva created branch tool/lighting in aniva/Cosplay 2024-12-06 16:40:24 -08:00
aniva created pull request aniva/Cosplay#8 2024-12-06 12:45:51 -08:00
feat: Add cq-editor as dev dependency
aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:42:40 -08:00
8e4553311b doc: Instructions for using cq-editor
016b717b41 feat: Add cq-editor in dev dependencies
Compare 2 commits »
aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:27:48 -08:00
eace8745f3 chore: Update cadquery
aniva created branch chore/version in aniva/Cosplay 2024-12-06 12:27:48 -08:00
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-06 00:08:52 -08:00
929311a042 fix: Only signal failure when there is error
aniva commented on pull request aniva/Pantograph#134 2024-12-06 00:01:07 -08:00
chore: Update Lean to v4.15.0

nix flake check passed on x86_64-linux

aniva commented on pull request aniva/Pantograph#135 2024-12-06 00:00:03 -08:00
fix: Capture nested tactic failure

Should be good to go. Pending feedback from original author.

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:16:29 -08:00
0415baaaff chore: Cleanup old `TestM`
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:12:16 -08:00
34a4bf5b73 feat: Export GoalState.tryTactic
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:11:51 -08:00
a62ac51c37 chore: Remove all redundant filenames
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:08:01 -08:00
7aafd6956f fix: Capture composite tactic failure
aniva created pull request aniva/Pantograph#135 2024-12-05 21:42:42 -08:00
fix: Capture nested tactic failure
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 21:36:03 -08:00
2e2658bde7 test: Add test case for composite tactic
aniva created branch bug/nested-tactic-failure in aniva/Pantograph 2024-12-05 21:36:03 -08:00
aniva commented on pull request aniva/Pantograph#134 2024-12-05 19:29:44 -08:00
chore: Update Lean to v4.15.0

nix flake check passed on aarch64_darwin