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
Copy link
Copy Markdown
Contributor

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

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
Copy link
Copy Markdown
Contributor

alok commented Sep 22, 2025

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

@alok
Copy link
Copy Markdown
Contributor

alok commented Sep 22, 2025

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