Skip to content

Merge into main#3

Merged
ludgerpaehler merged 4 commits intomainfrom
master
Apr 27, 2026
Merged

Merge into main#3
ludgerpaehler merged 4 commits intomainfrom
master

Conversation

@ludgerpaehler
Copy link
Copy Markdown
Collaborator

No description provided.

ludgerpaehler and others added 4 commits April 27, 2026 10:08
Set up a complete Docusaurus site under docs/ covering the full
KoopmanRL surface: introduction, installation, quickstart, all four
algorithms (SKVI, SAKC, LQR, SAC baselines), all four environments
(LinearSystem, FluidFlow, Lorenz, DoubleWell) with dynamics equations
and parameter tables, hyperparameter optimization pipelines, an API
reference, and a developer contributing guide.

Add two GitHub Actions workflows: deploy-docs.yml deploys the built
site to GitHub Pages on every push to master; test-deploy-docs.yml
validates the build on pull requests. Both pin Node 20 to avoid a
webpack/Node 25 compatibility issue in Docusaurus 3.9.2.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Docusaurus build:
- Pin webpack to 5.96.1 via npm overrides to avoid the ProgressPlugin
  schema breakage introduced in webpack 5.97
- Switch favicon from .ico to .svg and add minimal SVG logo/favicon
  assets so the static glob copy step has files to process
- Remove missing social card image reference from docusaurus.config.ts

pre-commit:
- Wrap overlong docstring in generate_trajectories.py (E501, 170 > 120)
- Apply ruff-format and isort auto-fixes across koopmanrl_utils/movies
  and tests/test_hparam_opt.py

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…_iteration

These two files in the dynamicslab/KoopmanRL master branch were not
compliant with ruff-format, causing the pre-commit CI to fail on the PR.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Add Docusaurus documentation site and GitHub Pages deployment
@ludgerpaehler ludgerpaehler merged commit 5a656ed into main Apr 27, 2026
3 of 4 checks passed
@ludgerpaehler ludgerpaehler deleted the master branch April 27, 2026 19:04
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.

1 participant