From 9fe900ae89019b82a683206977bdb006f3f99476 Mon Sep 17 00:00:00 2001 From: Nick Fitzgerald Date: Tue, 27 Oct 2020 13:00:54 -0700 Subject: [PATCH] CI: upload built peepholes as artifacts For people who can't build Z3, this lets them update the peephole optimizers when necessary. --- .github/workflows/main.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 82463a920c..aab84ac0be 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -165,12 +165,17 @@ jobs: --package peepmatic-runtime \ --package peepmatic-test \ --package peepmatic-souper - - name: Rebuild Peepmatic-based peephole optimizers and test them + - name: Rebuild Peepmatic-based peephole optimizers run: | cargo test \ --features 'enable-peepmatic rebuild-peephole-optimizers' \ peepmatic 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 run: git diff --exit-code - name: Test with Peepmatic-based peephole optimizers