wassname/pi-lgtm
1
0
Fork 0
mirror of https://github.com/wassname/pi-lgtm.git synced 2026-06-27 16:46:17 +08:00
Code Issues Packages Projects Releases Wiki Activity
55 Commits 3 Branches 0 Tags
main
Commit Graph

5 Commits

Author SHA1 Message Date
wassname c0ceb95ea4 simplify proof logs and keep tasks repo-local 2026-06-14 20:09:30 +08:00
wassname 927a482d79 rename to pi-proof-tasks and simplify proof log 2026-06-14 11:59:47 +08:00
wassname 9423d299a3 Simplify automatic robot review 2026-06-13 23:07:40 +08:00
wassname 023a2c2263 fix lgtm review gating and evidence display 2026-06-07 18:55:05 +08:00
wassname d908f6f617 fix: harden pi robot review harness 2026-04-17 12:02:35 +08:00