sdgoij

sdgoij synced new reference refactor/re-improve-notify to sdgoij/rustfs from mirror 2026-03-17 14:24:08 +00:00

sdgoij synced commits to refactor/re-improve-notify at sdgoij/rustfs from mirror 2026-03-17 14:24:08 +00:00

sdgoij synced commits to main at sdgoij/rustfs from mirror 2026-03-17 14:24:08 +00:00

ce1f7cfdcb chore(skills): add repository-local workflow skills (#2190)

c66c6d97ec fix(lifecycle): respect Filter.Prefix and safe delete marker expiry (#2185)

Compare 2 commits »

sdgoij synced commits to feat/xlmeta-compat at sdgoij/rustfs from mirror 2026-03-17 14:24:08 +00:00

73364e7fef refactor: remove compatibility naming from admin helpers

e275bac155 fix: align merged code with branch s3s

12030b0fc3 Merge remote-tracking branch 'origin/main' into feat/xlmeta-compat

b5f39d04a6 fix: add bucket quota compatibility

cf9fd446be fix: allow missing admin policy fields

Compare 49 commits »

sdgoij synced and deleted reference refs/tags/fix/lifecycle-prefix-filter at sdgoij/rustfs from mirror 2026-03-17 14:24:08 +00:00

sdgoij synced commits to refs/renovate/branches/renovate/configure at sdgoij/gitea from mirror 2026-03-17 14:24:07 +00:00

d5ee348e04 Add renovate.json

455dd20365 Update Nix flake (#36902)

Compare 2 commits »

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