T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

CI: upload built peepholes as artifacts

Browse Source 
For people who can't build Z3, this lets them update the peephole optimizers
when necessary.
This commit is contained in:
Nick Fitzgerald
2020-10-27 13:00:54 -07:00
parent f6d5b8772c
commit 9fe900ae89
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/main.yml vendored
View File

@@ -165,12 +165,17 @@ jobs:
--package peepmatic-runtime \ --package peepmatic-runtime \
--package peepmatic-test \ --package peepmatic-test \
--package peepmatic-souper --package peepmatic-souper
- name: Rebuild Peepmatic-based peephole optimizers and test them - name: Rebuild Peepmatic-based peephole optimizers
run: | run: |
cargo test \ cargo test \
--features 'enable-peepmatic rebuild-peephole-optimizers' \ --features 'enable-peepmatic rebuild-peephole-optimizers' \
peepmatic peepmatic
working-directory: ./cranelift/codegen working-directory: ./cranelift/codegen
- name: Upload rebuilt peephole optimizers
uses: actions/upload-artifact@v2
with:
name: peephole-optimizers
path: cranelift/codegen/src/preopt.serialized
- name: Check that built peephole optimizers are up to date - name: Check that built peephole optimizers are up to date
run: git diff --exit-code run: git diff --exit-code
- name: Test with Peepmatic-based peephole optimizers - name: Test with Peepmatic-based peephole optimizers