12 - uses: actions/checkout@v2
14 - name: Set up a PureScript toolchain
15 uses: purescript-contrib/setup-purescript@main
17 purescript: "unstable"
20 - name: Cache PureScript dependencies
21 uses: actions/cache@v2
23 key: ${{ runner.os }}-spago-${{ hashFiles('**/*.dhall') }}-2
27 - name: Install dependencies
31 run: spago build --no-install --purs-args '--censor-lib --strict --censor-codes='UserDefinedWarning''
33 - name: Install dev dependencies
34 run: spago -x spago-dev.dhall install
37 run: spago -x spago-dev.dhall test --no-install
39 - name: Check formatting
40 run: purs-tidy check src test bench
42 - name: Verify Bower & Pulp
44 npm install bower pulp@16.0.0-0
46 npx pulp build -- --censor-lib --strict
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list