elan: put lean release in leanprover/lean4 #297
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| branches: | |
| - master | |
| name: Test | |
| jobs: | |
| test: | |
| name: Lint and Test | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| name: Checkout 🛎️ | |
| - name: Install musl toolchain | |
| run: sudo apt-get install -y musl-tools | |
| - uses: dtolnay/rust-toolchain@stable | |
| name: Setup Cargo Toolchain 🛎️ | |
| with: | |
| components: rustfmt, clippy | |
| targets: x86_64-unknown-linux-musl | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: Check Code Format 🔧 | |
| run: cargo fmt -- --check | |
| - name: Run Clippy Lints 🔨 | |
| run: cargo clippy --all-targets --all-features | |
| - name: Running Tests 🚀 | |
| run: cargo test --target x86_64-unknown-linux-musl --all-features --workspace |