pinned-init 0.0.10

Library to facilitate safe pinned initialization
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
41
42
43
44
45
46
47
48
49
50
51
52
53

permissions:
  contents: read
on:
  push:
    branches: [kernel, next]
  schedule:
    - cron: '7 7 * * *'
  workflow_dispatch:

name: sync-check
jobs:
  torvalds:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          ref: kernel
          path: pin-init
      - run: git clone --depth 1 git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
      - run: |
          cp -r linux/rust/pin-init .
          cd pin-init
          if ! git diff --quiet ; then
              git diff
              false
          fi
          if [ -n "$(git ls-files --others --exclude-standard)" ]; then
              git status
              false
          fi
  pin-init-next:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          ref: next
          path: pin-init
      - uses: actions/checkout@v4
        with:
          repository: "Rust-for-Linux/linux"
          ref: pin-init-next
          path: linux
      - run: |
          cp -r linux/rust/pin-init .
          cd pin-init
          if ! git diff --quiet ; then
              git diff
              false
          fi
          if [ -n "$(git ls-files --others --exclude-standard)" ]; then
              git status
              false
          fi