sdgoij
0 Followers · 0 Following
  • Joined on 2026-01-16
Repositories
8
 Projects Packages Public Activity Starred Repositories
sdgoij synced commits to main at sdgoij/gitea from mirror 2026-03-17 14:24:07 +00:00
455dd20365 Update Nix flake (#36902)
sdgoij synced and deleted reference refs/tags/update_flake_lock_action at sdgoij/gitea from mirror 2026-03-17 14:24:07 +00:00
sdgoij synced new reference readert-update to sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced commits to readert-update at sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced commits to nightly at sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
6714601ee4 fix: remove accidental type monomorphism in Id.run_seqLeft (#12936)
6b604625f2 fix: add missing pp-spaces in grind_pattern (#11686)
e96b0ff39c fix: use response files on all platforms to avoid ARG_MAX (#12540)
50ee6dff0a chore: update leantar to v0.1.19 (#12938)
9e0aa14b6f feat: lake: fixedToolchain package configuration (#12935)
Compare 14 commits »
sdgoij synced commits to master at sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
3c32607020 fix: incorrect borrow annotation on demangleBtLinCStr leading to segfault on panic (#12939)
6714601ee4 fix: remove accidental type monomorphism in Id.run_seqLeft (#12936)
6b604625f2 fix: add missing pp-spaces in grind_pattern (#11686)
e96b0ff39c fix: use response files on all platforms to avoid ARG_MAX (#12540)
50ee6dff0a chore: update leantar to v0.1.19 (#12938)
Compare 6 commits »
sdgoij synced new reference leantar-v0.1.19 to sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced commits to leantar-v0.1.19 at sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced new reference hbv/fix_stage0 to sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced commits to hbv/fix_stage0 at sdgoij/lean4 from mirror 2026-03-17 10:24:07 +00:00
sdgoij synced new reference refs/tags/b8390 to sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced commits to refs/tags/b8390 at sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced new reference refs/tags/b8389 to sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced commits to refs/tags/b8389 at sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced new reference refs/tags/b8388 to sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced commits to refs/tags/b8388 at sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
sdgoij synced commits to master at sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
b6c83aad55 [SYCL] ehance UPSCALE to support all UT cases (#20637)
2e4a6edd4a tools/server: support refusal content for Responses API (#20285)
Compare 2 commits »
sdgoij synced commits to 0cc4m/vulkan-async-fixes at sdgoij/llama.cpp from mirror 2026-03-17 08:34:07 +00:00
ec125419ea Revert "assert that event is valid in event_wait instead of skipping if it isn't"
sdgoij synced commits to master at sdgoij/caddy from mirror 2026-03-17 06:24:03 +00:00
8499e34e10 caddytls: Ensure key list always gets set (fix #7555)
sdgoij synced commits to main at sdgoij/rustfs from mirror 2026-03-17 06:14:07 +00:00
be89b5fc6a build(deps): bump lz4_flex from 0.12.0 to 0.12.1 (#2181)