scope-lock 0.3.1

Safely extend lifetimes
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
32
33
34
35
36
37
38
39
40

name: Push check

on:
  push

jobs:
  msrv-check:
    name: Minimal supported version check
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          fetch-depth: 0
      - name: Install Rust toolchain
        uses: dtolnay/rust-toolchain@1.85
      - run: cargo check --tests --examples

  miri-test:
    name: Miri test
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          fetch-depth: 0
      - name: Install Rust toolchain
        uses: dtolnay/rust-toolchain@nightly
        with:
          components: miri
      - name: Setup MIRI
        run: cargo miri setup
      - name: Stacked borrows
        run: cargo miri test
        env:
          MIRIFLAGS: -Zmiri-many-seeds=0..8
      - name: Tree borrows
        run: cargo miri test
        env:
          MIRIFLAGS: -Zmiri-many-seeds=0..8 -Zmiri-tree-borrows