[Spelunker] Tweak eval tooling #743
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- dump.sh: dump the salient parts of an evals database to a text file - readlog.py: add -f flag (like tail -f) - evals/eval-1/dbdump.sql: the dumped eval.db database from there evals/design.md: add a TODO list
gvanrossum-ms
temporarily deployed
to
development-fork
GitHub Actions
Inactive
gvanrossum-ms
had a problem deploying
to
development-fork
GitHub Actions
Error
auto-merge was automatically disabled
February 24, 2025 05:45
Head branch was pushed to by a user without write access
gvanrossum
had a problem deploying
to
development-fork
GitHub Actions
Error
gvanrossum
had a problem deploying
to
development-fork
GitHub Actions
Error
gvanrossum
force-pushed
the
spelunker
branch
from
d7fd08b to
1f25b5e
Compare
gvanrossum
had a problem deploying
to
development-fork
GitHub Actions
Error
gvanrossum
had a problem deploying
to
development-fork
GitHub Actions
Error
gvanrossum
temporarily deployed
to
development-fork
GitHub Actions
Inactive
gvanrossum
temporarily deployed
to
development-fork
GitHub Actions
Inactive
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Log successful spelunker requests in
~/.spelunker.log. (A place where it isn't easily accidentally erased.)Add a simple tool to read back
~/.spelunker.log. (For manual inspection, for now.)Add a simple script to dump the salient parts of an eval database to a text file
eval.sql. (Tool to read it back is TBD.)Rename IdType to ChunkId in
chunker.py.Preserve
QuestionsandScorestables when redoing the eval setup.Lint.