<commit_before># Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

name: Rust

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

env:
  CARGO_TERM_COLOR: always

jobs:
  check_lints:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2

    - name: Check format
      run: cargo fmt -- --check --files-with-diff
    - name: Check clippy lints
      run: cargo clippy --verbose

  build_and_test:
    - uses: actions/checkout@v2

    - name: Build with default settings
      run: cargo build -v -p manticore
    - name: Build with no features
      run: cargo build -v -p manticore --no-default-features
    - name: Build with all features
      run: cargo build -v -p manticore --all-features
    - name: Build for baremetal RISC-V
      run: cargo build -v -p manticore --no-default-features --target riscv32imc-unknown-none-elf
    - name: Build CLI tool
      run: cargo build -v -p manticore-tool

    - name: Build docs
      run: cargo doc --verbose

    - name: Run tests
      run: cargo test --verbose

    - name: Run e2e tests
      run: cargo test -v -p manticore-e2e -- run-tests

  miri_tests:
    runs-on: ubuntu-latest
    steps:<commit_msg>[ci] Fix a syntax error in CI config<commit_after># Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

name: Rust

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

env:
  CARGO_TERM_COLOR: always

jobs:
  check_lints:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2

    - name: Check format
      run: cargo fmt -- --check --files-with-diff
    - name: Check clippy lints
      run: cargo clippy --verbose

  build_and_test:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2

    - name: Build with default settings
      run: cargo build -v -p manticore
    - name: Build with no features
      run: cargo build -v -p manticore --no-default-features
    - name: Build with all features
      run: cargo build -v -p manticore --all-features
    - name: Build for baremetal RISC-V
      run: cargo build -v -p manticore --no-default-features --target riscv32imc-unknown-none-elf
    - name: Build CLI tool
      run: cargo build -v -p manticore-tool

    - name: Build docs
      run: cargo doc --verbose

    - name: Run tests
      run: cargo test --verbose

    - name: Run e2e tests
      run: cargo test -v -p manticore-e2e -- run-tests

  miri_tests:
    runs-on: ubuntu-latest
    steps:
{'fraction_non_alphanumeric': 0.09695603156708005, 'fraction_numerical': 0.00751597143930853, 'mean_word_length': 2.3233458177278403, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2729030', 'n_tokens_mistral': 904, 'n_tokens_neox': 866, 'n_words': 295}