Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update to v0.15.0 #40

Merged
merged 10 commits into from
May 3, 2022
Merged

Update to v0.15.0 #40

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
fa39c4e
Update to v0.15.0
sigma-andex Mar 25, 2022
b755b4a
Remove hash
sigma-andex Mar 28, 2022
5ec3325
Update to v0.15 release
sigma-andex Apr 29, 2022
bea8d1f
Update ci pipeline to v0.15
sigma-andex Apr 29, 2022
380e497
Update package set
sigma-andex Apr 29, 2022
0f423cf
Use pulp 16.0.0
JordanMartinez Apr 30, 2022
55acef6
Create BigInts via a type-level int
JordanMartinez Apr 30, 2022
80e8394
Don't run CI twice on PRs
thomashoneyman May 3, 2022
52c6b9d
Add pulp and bower to CI
thomashoneyman May 3, 2022
6572992
Update bower.json
thomashoneyman May 3, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 18 additions & 11 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
name: CI

on: [push, pull_request]
on:
push:
branches: [master]
pull_request:

jobs:
build:
Expand All @@ -9,22 +12,26 @@ jobs:
- uses: actions/checkout@v2

- uses: purescript-contrib/setup-purescript@main
with:
purescript: "0.14.2"

- uses: actions/setup-node@v1
- uses: actions/setup-node@v2
with:
node-version: "12"
node-version: "14"

- name: Install dependencies
run: npm install

- name: Build source (spago)
run: spago build

- name: Run tests (spago)
run: spago test

- name: Build source (pulp)
run: |
npm install
npx bower install --production
npx pulp build

- name: Build source
run: npm run-script build

- name: Run tests
- name: Run tests (pulp)
run: |
npx bower install
npm run-script test --if-present
npx pulp test
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,4 @@ output
.psci*
.pulp-cache
.psc-ide-port
/.spago/
19 changes: 9 additions & 10 deletions bower.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,17 +20,16 @@
"package.json"
],
"dependencies": {
"purescript-maybe": "^5.0.0",
"purescript-integers": "^5.0.0",
"purescript-strings": "^5.0.0"
"purescript-maybe": "^6.0.0",
"purescript-integers": "^6.0.0",
"purescript-strings": "^6.0.0"
},
"devDependencies": {
"purescript-integers": "^5.0.0",
"purescript-console": "^5.0.0",
"purescript-assert": "^5.0.0",
"purescript-quickcheck": "^7.0.0",
"purescript-quickcheck-laws": "^6.0.0",
"purescript-psci-support": "^5.0.0",
"purescript-effect": "^3.0.0"
"purescript-console": "^6.0.0",
"purescript-assert": "^6.0.0",
"purescript-quickcheck": "^8.0.0",
"purescript-quickcheck-laws": "^7.0.0",
"purescript-psci-support": "^6.0.0",
"purescript-effect": "^4.0.0"
}
}
Loading