Skip to content

Commit 56e2b33

Browse files
committed
sc-38841 Updates to latest purescript-tools image
Updates to latest purescript-tools image, and update a few other dependencies. Also, it makes sure to do an npm install when you call `./scripts/shell`, so that `grunt dev` works as expected.
1 parent b7770e8 commit 56e2b33

6 files changed

Lines changed: 1299 additions & 1151 deletions

File tree

.github/workflows/build.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ jobs:
2020
env:
2121
cache-version: build-v1
2222
with:
23-
key: ${{ env.cache-version }}-${{ hashFiles('spago.yaml') }}-${{ hashFiles('package.json') }}
23+
key: ${{ env.cache-version }}-${{ hashFiles('spago.yaml', 'package.json') }}
2424
restore-keys: |
2525
${{ env.cache-version }}-
2626
path: |

compose.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
services:
22
dev:
3-
image: ghcr.io/flipstone/purescript-tools:debian-stable-purescript-0.15.15-2024-10-21-d530b53
3+
image: ghcr.io/flipstone/purescript-tools:debian-stable-purescript-0.15.15-2025-01-02-0b0c689
44
environment:
55
IN_CONTAINER: 'true'
66
stdin_open: true

package.json

Lines changed: 23 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,23 @@
1-
{"name":"purescript-erumu","version":"0.1.0","description":"Elm-influenced virtual DOM","repository":{"type":"git","url":"git+https://github.com/flipstone/purescript-erumu.git"},"author":"Flipstone Technology Partners <development@flipstone.com>","license":"BSD-2-Clause","bugs":{"url":"https://github.com/flipstone/purescript-erumu/issues"},"homepage":"https://github.com/flipstone/purescript-erumu#readme","dependencies":{"virtual-dom":"~2.1.1"},"devDependencies":{"grunt":"^1.6.1","grunt-cli":"^1.4.3","grunt-contrib-watch":"^1.1.0","grunt-exec":"^3.0.0"}}
1+
{ "name":"purescript-erumu",
2+
"version":"0.1.0",
3+
"description":"Elm-influenced virtual DOM",
4+
"repository": {
5+
"type":"git",
6+
"url":"git+https://github.com/flipstone/purescript-erumu.git"
7+
},
8+
"author":"Flipstone Technology Partners <development@flipstone.com>",
9+
"license":"BSD-2-Clause",
10+
"bugs": {
11+
"url":"https://github.com/flipstone/purescript-erumu/issues"
12+
},
13+
"homepage":"https://github.com/flipstone/purescript-erumu#readme",
14+
"dependencies": {
15+
"virtual-dom":"~2.1.1"
16+
},
17+
"devDependencies": {
18+
"grunt":"^1.6.1",
19+
"grunt-cli":"^1.4.3",
20+
"grunt-contrib-watch":"^1.1.0",
21+
"grunt-exec":"^3.0.0"
22+
}
23+
}

scripts/.init

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
#!/bin/sh
22

33
export PS1="\[\e[35m\]PURESCRIPT\[\e[m\]:\w \\$ "
4+
npm install

0 commit comments

Comments
 (0)