Skip to content

tools, scaling, and auto-generated statements #3022

tools, scaling, and auto-generated statements

tools, scaling, and auto-generated statements #3022

Workflow file for this run

name: tools, scaling, and auto-generated statements
on:
push:
branches:
- "main"
pull_request:
merge_group:
permissions:
contents: write
jobs:
build:
name: tools, scaling, and auto-generated stmts
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
- name: Install elan 🕑
run: |
set -o pipefail
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain none -y
~/.elan/bin/lean --version
echo "$HOME/.elan/bin" >> $GITHUB_PATH
- name: Cache `.lake` folder
id: cache-lake
uses: actions/cache@v4
with:
path: .lake
key: ${{ runner.os }}-lake-tools-${{ hashFiles('lake-manifest.json') }}
- name: Compile `mlirnatural` Executable 🧐
run: |
lake -R exe cache get # download cache of mathlib docs.
lake -R build mlirnatural
- name: Compile `opt` Executable 🧐
run: |
lake -R exe cache get # download cache of mathlib docs.
lake -R build opt
- name: Compile Alive Scaling
run: |
lake -R exe cache get # download cache of mathlib docs.
lake -R build AliveScaling
- name: Check for changes in AliveStatements
run: |
lake -R exe cache get
lake build AliveExamples
(cd SSA/Projects/InstCombine/; ./update_alive_statements.py)
bash -c '! git diff | grep .' # iff git diff is empty, 'grep .' fails, '!' inverts the failure, and in the forced bash