File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -47,15 +47,15 @@ jobs:
4747 env :
4848 SYSTEM : ${{ matrix.system }}
4949 run : |
50- shells=$(nix flake show --json | jq -r '.devShells."'$SYSTEM'" | keys[]' | tr '\n' ' ')
50+ shells=$(nix flake show --json | jq -r '.devShells."'" $SYSTEM" '" | keys[]' | tr '\n' ' ')
5151 echo "shells=$shells" >> "$GITHUB_OUTPUT"
5252 - name : Build and cache dev shells
5353 env :
5454 SHELLS : ${{ steps.shells.outputs.shells }}
5555 run : |
5656 for shell in $SHELLS; do
5757 echo "Building dev shell: $shell"
58- nix develop .#$shell --command echo "Dev shell $shell built successfully"
58+ nix develop " .#$shell" --command echo "Dev shell $shell built successfully"
5959 done
6060 - name : Build default dev shell
6161 run : |-
Original file line number Diff line number Diff line change 2525 GH_TOKEN : ${{ steps.app-token.outputs.token }}
2626 SLUG : ${{ steps.app-token.outputs.app-slug }}
2727 run : |
28- name="$SLUG[bot]"
28+ name="${ SLUG} [bot]"
2929 id=$(gh api "/users/$name" --jq .id)
3030 {
3131 echo "id=$id"
You can’t perform that action at this time.
0 commit comments