Pulse · rgeometry/rgeometry.github.io · GitHub

August 7, 2025 – August 14, 2025

Overview

7 Active pull requests

0 Active issues
- 7 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues

7 Pull requests merged by 1 person

feat: trim unneeded words from the copy
#10 merged Aug 13, 2025
feat: use static demos
#9 merged Aug 12, 2025
chore: enable nix magic cache
#8 merged Aug 12, 2025
fix: enable dry-run mode for PRs
#7 merged Aug 12, 2025
chore: deploy to github pages using nix
#6 merged Aug 12, 2025
fix: disable optimizer
#5 merged Aug 12, 2025
chore: expose nix flake
#4 merged Aug 12, 2025