Skip to content

Add Python exporter for published results - #24

Merged
tadamcz merged 3 commits into
mainfrom
codex/python-results-exporter
Aug 23, 2026
Merged

Add Python exporter for published results#24
tadamcz merged 3 commits into
mainfrom
codex/python-results-exporter

Conversation

@tadamcz

@tadamcz tadamcz commented Aug 23, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

Summary

  • add a standard-library Python exporter for selected OEIS Open runs supplied as required positional arguments
  • retain destination-only files while excluding transcripts and .DS_Store metadata
  • support checksum-based dry runs, configurable source/destination paths, file modes, and symlinks

Testing

  • .venv/bin/mypy scripts/populate_results_repo.py
  • verified that omitting RUN exits with argparse code 2
  • dry-ran the original 13 RUN arguments (23,433 files checked; zero changes)
  • functional smoke test covering copy, update, dry-run, exclusions, symlinks, and destination-only files

@tadamcz
tadamcz merged commit 3fda5fb into main Aug 23, 2026
5 checks passed
tadamcz added a commit that referenced this pull request Aug 23, 2026
@tadamcz
Add Python exporter for published results (#24)
04810dd 
* Add Python exporter for published results

* Require runs on results exporter CLI

* Stage exported result files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@tadamcz