Fixing Cachix Push / Pin#4906

Merged

F-WRunTime merged 3 commits intodevelopfrom

hotfix/cachix-pin-and-push

Apr 9, 2026

Commits on Mar 30, 2026

Fixing cachix push and pin functionality broken by their cloudflare going unresponsive when using push and pin.
F-WRunTime
committed
Why it failed on your PR: package/version and the Debian changelog (which sets the .deb name) didn’t match. CI built kframework-frontend_7.1.0_amd64.deb but the script
F-WRunTime
committed

Commits on Apr 9, 2026

Merge branch 'develop' into hotfix/cachix-pin-and-push
anvacaru
authored