We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7c1148a commit 0e386d9Copy full SHA for 0e386d9
.github/workflows/test-pr.yml
@@ -96,19 +96,6 @@ jobs:
96
uses: cachix/cachix-action@v16
97
with:
98
name: k-framework
99
-
100
- # debugging
101
- - name: 'Upload nix files for debugging purposes: flake.nix'
102
- uses: actions/upload-artifact@v4
103
- with:
104
- name: nix flake
105
- path: flake.nix
106
- - name: 'Upload nix files for debugging purposes: flake.lock'
107
108
109
- name: nix lockfile
110
- path: flake.lock
111
112
- name: 'Build KIMP'
113
env:
114
NIX_PATH: 'nixpkgs=http://nixos.org/channels/nixos-22.05/nixexprs.tar.xz'
0 commit comments