HOTFIX update nix versions in CI workflows#4124

jberthold merged 1 commit intomasterruntimeverification/haskell-backend:masterfrom

HOTFIX-update-nix-version-in-CI-workflowsruntimeverification/haskell-backend:HOTFIX-update-nix-version-in-CI-workflowsCopy head branch name to clipboard