ci(test): remove PAT and Cachix token dependencies from the Test workflow - #4159

Merged

juliankuners merged 3 commits into

worktree-avoid-pat

Jul 7, 2026

Commits on Jun 30, 2026

ci(test): drop PAT from formatting job, check format instead of auto-pushing
Stevengre
committed
b49d3d6

Commits on Jul 2, 2026

ci(test): drop CACHIX_PUBLIC_TOKEN, use k-framework cache pull-only
Stevengre
committed
6c2736d

Commits on Jul 7, 2026

temporarily comment-out `cachix-action` due to CI issues
juliankuners
committed
c165540