Skip to content

Commit

Permalink
test ci
Browse files Browse the repository at this point in the history
  • Loading branch information
vfusco committed Jan 31, 2024
1 parent 06ffa81 commit 5ff58f2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 26 deletions.
27 changes: 1 addition & 26 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
@@ -1,43 +1,18 @@
name: Test
on: [push]
env:
UARCH_BIN_TEST_VERSION: v0.29.0
UARCH_LOG_TEST_VERSION: v0.15.3
jobs:
test:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
token: ${{ secrets.CI_TOKEN }}

- uses: awalsh128/cache-apt-pkgs-action@latest
with:
packages: gpp
version: 2.27

- name: Download uarch test bin files
uses: Legion2/[email protected]
with:
repository: ${{ github.repository_owner }}/machine-tests
tag: ${{ env.UARCH_BIN_TEST_VERSION }}
file: machine-tests-${{ env.UARCH_BIN_TEST_VERSION }}.tar.gz
token: ${{ secrets.CI_TOKEN }}

- name: Download uarch test log files
uses: Legion2/[email protected]
with:
repository: ${{ github.repository_owner }}/machine-emulator
tag: ${{ env.UARCH_LOG_TEST_VERSION }}
file: uarch-riscv-tests-json-logs-${{ env.UARCH_LOG_TEST_VERSION }}.tar.gz
token: ${{ secrets.CI_TOKEN }}

- name: Untar uarch test bins
run: mkdir -p test/uarch-bin && tar -xzf machine-tests-${UARCH_BIN_TEST_VERSION}.tar.gz -C test/uarch-bin && rm test/uarch-bin/*.dump

- name: Untar uarch test logs
run: mkdir -p test/uarch-log && tar -xzf uarch-riscv-tests-json-logs-${UARCH_LOG_TEST_VERSION}.tar.gz -C test/uarch-log

- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
Expand Down
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@ build: generate-step

clean:
rm -rf src/UArchConstants.sol src/UArchStep.sol test/UArchReplay_*.t.sol
rm -rf $(BIN_TEST_DIR) $(LOG_TEST_DIR) $(DOWNLOADDIR)
forge clean

shasum-download: $(DOWNLOADFILES)
Expand Down

0 comments on commit 5ff58f2

Please sign in to comment.