Skip to content

Bump rustix from 0.36.7 to 0.36.16 in /m0e (#131) #553

Bump rustix from 0.36.7 to 0.36.16 in /m0e (#131)

Bump rustix from 0.36.7 to 0.36.16 in /m0e (#131) #553

Workflow file for this run

name: CI
on:
push:
branches: '*'
pull_request:
branches: [ master ]
env:
CARGO_TERM_COLOR: always
jobs:
build-mm0-rs:
name: mm0-rs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Cache mm0-rs
id: cache-mm0-rs
uses: actions/cache@v2
with:
path: mm0-rs/target/release/mm0-rs
key: ${{ runner.os }}-mm0-rs-${{ hashFiles('mm0-rs/**') }}
- name: Install stable rust
uses: actions-rs/toolchain@v1
with:
toolchain: stable
profile: minimal
default: true
- name: Cache build mm0-rs
id: cache-build-mm0-rs
if: ${{ !steps.cache-mm0-rs.outputs.cache-hit }}
uses: actions/cache@v2
with:
path: |
~/.cargo/registry
~/.cargo/git
mm0-rs/target
key: ${{ runner.os }}-cargo-release-${{ hashFiles('mm0-rs/Cargo.lock') }}
restore-keys: |
${{ runner.os }}-cargo-release-
- name: Build mm0-rs
if: ${{ !steps.cache-mm0-rs.outputs.cache-hit }}
working-directory: mm0-rs
run: cargo build --verbose --release
- name: Run tests
if: ${{ !steps.cache-mm0-rs.outputs.cache-hit }}
working-directory: mm0-rs
run: cargo test --verbose --release
- uses: actions/upload-artifact@v2
with:
name: mm0-rs
path: mm0-rs/target/release/mm0-rs
clippy-mm0-rs:
name: Clippy mm0-rs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install nightly rust
uses: actions-rs/toolchain@v1
with:
toolchain: nightly
profile: minimal
components: clippy
default: true
- name: Cache clippy
id: cache-nightly-mm0-rs
uses: actions/cache@v2
with:
path: |
~/.cargo/registry
~/.cargo/git
mm0-rs/target
key: ${{ runner.os }}-cargo-nightly-${{ hashFiles('mm0-rs/Cargo.lock') }}
- name: Clippy
working-directory: ./mm0-rs
run: ./clippy.sh
peano:
name: Peano MM1 files
runs-on: ubuntu-latest
needs: build-mm0-rs
if: ${{ always() }}
steps:
- uses: actions/checkout@v2
- run: mkdir -p "$GITHUB_WORKSPACE/bin"
- uses: actions/download-artifact@v2
with:
name: mm0-rs
path: ./bin
- working-directory: mm0-c
run: gcc main.c -O2 -Wall -o $GITHUB_WORKSPACE/bin/mm0-c
- working-directory: bin
run: |
chmod +x mm0-rs
echo "$GITHUB_WORKSPACE/bin" >> $GITHUB_PATH
- name: peano.mm1
working-directory: examples
run: mm0-rs compile -W peano.mm1 peano.mmb
- name: peano.mmb
working-directory: examples
run: mm0-c peano.mmb < peano.mm0
- name: peano_hex_join.mm0
working-directory: examples
run: mm0-rs join peano_hex.mm0 | tee peano_hex_join.mm0
- name: peano_hex.mm1
working-directory: examples
run: mm0-rs compile -W peano_hex.mm1 peano_hex.mmb
- name: peano_hex.mmb
working-directory: examples
run: mm0-c peano_hex.mmb < peano_hex_join.mm0
- name: mm0_join.mm0
working-directory: examples
run: mm0-rs join mm0.mm0 | tee mm0_join.mm0
- name: mm0.mm1
working-directory: examples
run: mm0-rs compile -W mm0.mm1 mm0.mmb
- name: mm0.mmb
working-directory: examples
run: mm0-c mm0.mmb < mm0_join.mm0
- name: x86_join.mm0
working-directory: examples
run: mm0-rs join x86.mm0 | tee x86_join.mm0
- name: x86.mm1
working-directory: examples
run: mm0-rs compile -W x86.mm1 x86.mmb
- name: x86.mmb
working-directory: examples
run: mm0-c x86.mmb < x86_join.mm0
- name: compiler_join.mm0
working-directory: examples
run: mm0-rs join compiler.mm0 | tee compiler_join.mm0
- name: compiler.mm1
working-directory: examples
run: mm0-rs compile -W compiler.mm1 compiler.mmb
- name: compiler.mmb
working-directory: examples
# run: mm0-c compiler.mmb < x86_join.mm0
run: mm0-c compiler.mmb < compiler_join.mm0
- name: hello_mmc.mm1
working-directory: examples
run: mm0-rs compile -W hello_mmc.mm1 hello_mmc.mmb
- name: hello_mmc.mmb
working-directory: examples
run: mm0-c hello_mmc.mmb < compiler_join.mm0