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

Update ci and disabled JS tests #184

Merged
merged 2 commits into from
Nov 26, 2022
Merged

Update ci and disabled JS tests #184

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
83d51cc
update actions in the CI
giltho Nov 25, 2022
545f2d0
disable gillian-js test
giltho Nov 25, 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
186 changes: 93 additions & 93 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,13 +17,13 @@ jobs:
operating-system: [macos-latest, ubuntu-latest]
runs-on: ${{ matrix.operating-system }}
steps:
- uses: actions/checkout@v2
- uses: actions/setup-node@v2
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
- name: Installing esy
run: sudo npm install -g esy@0.6.12 --unsafe-perm
- name: Restore Cache
id: restore-cache
uses: actions/cache@v1
uses: actions/cache@v3
with:
path: _export
key: ${{ runner.os }}-esy-0.6.12-${{ hashFiles('esy.lock/index.json') }}
Expand All @@ -47,7 +47,7 @@ jobs:
- name: Building release
run: "esy release"
- name: Sending artifact for next jobs
uses: actions/upload-artifact@v1
uses: actions/upload-artifact@v3
with:
name: ${{ runner.os }}-release
path: _release
Expand All @@ -65,18 +65,18 @@ jobs:
needs: build
steps:
- name: download release
uses: actions/download-artifact@v1
uses: actions/download-artifact@v3
with:
name: ${{ runner.os }}-release
path: release
- name: setting up node
uses: actions/setup-node@v2
uses: actions/setup-node@v3
- name: install release
run: |
yarn global add file://$(pwd)/release
echo "$(yarn global bin)" >> $GITHUB_PATH
- name: checkout project
uses: actions/checkout@v2
uses: actions/checkout@v3
with:
path: Gillian
- name: init env
Expand All @@ -89,65 +89,65 @@ jobs:
run: "make"
working-directory: "Gillian/Gillian-C/examples/amazon/"

gillian_js_tests:
strategy:
matrix:
operating-system: [macos-latest, ubuntu-latest]
runs-on: ${{ matrix.operating-system }}
needs: build
steps:
- name: download release
uses: actions/download-artifact@v1
with:
name: ${{ runner.os }}-release
path: release
- name: setting up node
uses: actions/setup-node@v2
- name: install release
run: |
yarn global add file://$(pwd)/release
echo "$(yarn global bin)" >> $GITHUB_PATH
- name: checkout project
uses: actions/checkout@v2
with:
path: Gillian
- name: init env
run: "Gillian-JS/scripts/setup_environment.sh"
working-directory: "Gillian"
- name: Test JaVerT
run: "./testJaVerT.sh"
working-directory: "Gillian/Gillian-JS/environment/"
- name: Test Amazon
run: "make"
working-directory: "Gillian/Gillian-JS/Examples/Amazon/"
# gillian_js_tests:
# strategy:
# matrix:
# operating-system: [macos-latest, ubuntu-latest]
# runs-on: ${{ matrix.operating-system }}
# needs: build
# steps:
# - name: download release
# uses: actions/download-artifact@v3
# with:
# name: ${{ runner.os }}-release
# path: release
# - name: setting up node
# uses: actions/setup-node@v3
# - name: install release
# run: |
# yarn global add file://$(pwd)/release
# echo "$(yarn global bin)" >> $GITHUB_PATH
# - name: checkout project
# uses: actions/checkout@v3
# with:
# path: Gillian
# - name: init env
# run: "Gillian-JS/scripts/setup_environment.sh"
# working-directory: "Gillian"
# - name: Test JaVerT
# run: "./testJaVerT.sh"
# working-directory: "Gillian/Gillian-JS/environment/"
# - name: Test Amazon
# run: "make"
# working-directory: "Gillian/Gillian-JS/Examples/Amazon/"

test262:
if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
strategy:
matrix:
operating-system: [macos-latest]
runs-on: ${{ matrix.operating-system }}
needs: build
steps:
- name: download release
uses: actions/download-artifact@v1.0.0
with:
name: ${{ runner.os }}-release
path: release
- name: setting up node
uses: actions/setup-node@v2
- name: install release
run: |
yarn global add file://$(pwd)/release
echo "$(yarn global bin)" >> $GITHUB_PATH
- name: checkout project
uses: actions/checkout@v2.0.0
with:
repository: GillianPlatform/javert-test262
path: test262
ref: 93e0d0b04093cabc3234a776eec5cc3e165f3b1a
- name: Test262
run: "gillian-js test262 test262/test --ci"
# test262:
# if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
# strategy:
# matrix:
# operating-system: [macos-latest]
# runs-on: ${{ matrix.operating-system }}
# needs: build
# steps:
# - name: download release
# uses: actions/download-artifact@v3
# with:
# name: ${{ runner.os }}-release
# path: release
# - name: setting up node
# uses: actions/setup-node@v3
# - name: install release
# run: |
# yarn global add file://$(pwd)/release
# echo "$(yarn global bin)" >> $GITHUB_PATH
# - name: checkout project
# uses: actions/checkout@v3
# with:
# repository: GillianPlatform/javert-test262
# path: test262
# ref: 93e0d0b04093cabc3234a776eec5cc3e165f3b1a
# - name: Test262
# run: "gillian-js test262 test262/test --ci"

collections-c:
if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
Expand All @@ -158,18 +158,18 @@ jobs:
needs: build
steps:
- name: download release
uses: actions/download-artifact@v1
uses: actions/download-artifact@v3
with:
name: ${{ runner.os }}-release
path: release
- name: setting up node
uses: actions/setup-node@v2
uses: actions/setup-node@v3
- name: install release
run: |
yarn global add file://$(pwd)/release
echo "$(yarn global bin)" >> $GITHUB_PATH
- name: checkout project
uses: actions/checkout@v2
uses: actions/checkout@v3
with:
repository: GillianPlatform/collections-c-for-gillian
path: collections-c
Expand All @@ -178,31 +178,31 @@ jobs:
run: "./runGillianTests.sh"
working-directory: collections-c

test-Buckets:
if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
strategy:
matrix:
operating-system: [macos-latest]
runs-on: ${{ matrix.operating-system }}
needs: build
steps:
- name: download release
uses: actions/download-artifact@v1
with:
name: ${{ runner.os }}-release
path: release
- name: setting up node
uses: actions/setup-node@v2
- name: install release
run: |
yarn global add file://$(pwd)/release
echo "$(yarn global bin)" >> $GITHUB_PATH
- name: checkout project
uses: actions/checkout@v2
with:
path: Gillian
- name: Symbolic Testing Buckets.js
run: "gillian-js cosette-bulk Gillian/Gillian-JS/Examples/Cosette/Buckets --ci"
# test-Buckets:
# if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
# strategy:
# matrix:
# operating-system: [macos-latest]
# runs-on: ${{ matrix.operating-system }}
# needs: build
# steps:
# - name: download release
# uses: actions/download-artifact@v3
# with:
# name: ${{ runner.os }}-release
# path: release
# - name: setting up node
# uses: actions/setup-node@v3
# - name: install release
# run: |
# yarn global add file://$(pwd)/release
# echo "$(yarn global bin)" >> $GITHUB_PATH
# - name: checkout project
# uses: actions/checkout@v3
# with:
# path: Gillian
# - name: Symbolic Testing Buckets.js
# run: "gillian-js cosette-bulk Gillian/Gillian-JS/Examples/Cosette/Buckets --ci"

test-docker:
runs-on: ubuntu-latest
Expand Down