Skip to content

wandb with unit tests - #287

Open
quinn-dougherty wants to merge 3 commits into
mainfrom
q/unit-tested-fvapps-solns
Open

wandb with unit tests#287
quinn-dougherty wants to merge 3 commits into
mainfrom
q/unit-tested-fvapps-solns

Conversation

@quinn-dougherty

@quinn-dougherty quinn-dougherty commented Sep 22, 2025

Copy link
Copy Markdown
Contributor

uv run python src/scripts/test_wandb_outputs.py --run-id by36x4r9 --max-tests 2 --debug

the invocation of lake env lean <filename> isn't recognizing mathlib

@alok

alok commented Sep 22, 2025

Copy link
Copy Markdown
Contributor

what error msgs do you get when you try to run?

@alok

alok commented Sep 22, 2025

Copy link
Copy Markdown
Contributor

try lake lean _?

@shaoweilin

Copy link
Copy Markdown
Contributor

Did it work? Is it ready for merging with main?

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.

3 participants