rodeo 0.2.1

Fast dropping arena based on bumpalo
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

name: rust-miri

on:
  push:
    branches: [ "master" ]
  pull_request:
    branches: [ "master" ]
  schedule:
    - cron: '1 2 * * 1'

jobs:
  rust-miri:
    name: Run Miri
    runs-on: ubuntu-latest
    
    steps:
      - name: Checkout code
        uses: actions/checkout@v3

      - name: Install up-to-date toolchain
        run: |
          rustup self update
          rustup toolchain install nightly
          rustup default nightly
          rustup component add miri

      - name: Run Miri setup
        run: cargo miri setup

      - name: Run Miri
        run: cargo miri test