2025年07月14日 - 2026年07月14日
Overview
Excluding merges,
2 authors
have pushed
7 commits
to main and
12 commits
to all branches.
On main,
17 files
have changed
and there have been
1014 additions
and
8 deletions.
1 pull request merged by 1 user
Merged
#4 May update
1 pull request proposed by 1 user
Proposed
#5 flake: follow the callPackage convention
3 issues created by 1 user
Opened
#1 clippy: Enable min_ident_chars = "warn"
Opened
#2 src/: Add license headers
Opened
#3 Anti-AI hardening