Skip to content

feat: use lakefile.toml, move tests into separate dir#9

Merged
JOSHCLUNE merged 1 commit intoJOSHCLUNE:mainfrom
srghma:toml
Apr 23, 2026
Merged

feat: use lakefile.toml, move tests into separate dir#9
JOSHCLUNE merged 1 commit intoJOSHCLUNE:mainfrom
srghma:toml

Conversation

@srghma
Copy link
Copy Markdown
Contributor

@srghma srghma commented Apr 22, 2026

No description provided.

@JOSHCLUNE
Copy link
Copy Markdown
Owner

If you remove line 6 of the lakefile.toml file (testRunner = "QuerySMTTests"), I would be happy to merge this. The reason I don't want QuerySMTTests to be registered as the testRunner is that there are examples in the QuerySMTTests files that are expected to fail, so the output of lake test would be misleading. There is not currently a file that would be an appropriate target for lake test, so I would not want a testRunner to be specified. Other than that though, happy to merge this to have the project updated to use a lakefile.toml file.

@srghma
Copy link
Copy Markdown
Contributor Author

srghma commented Apr 23, 2026

@JOSHCLUNE did it, tnx for explanation

@JOSHCLUNE JOSHCLUNE merged commit 92828fa into JOSHCLUNE:main Apr 23, 2026
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.

2 participants