verify-rust-std/.github/workflows/verifast.yml at b76529db4564903de43a5570dc7b1de4c45ddea9 · model-checking/verify-rust-std · GitHub

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
name: VeriFast

on:
  workflow_dispatch:
  merge_group:
  pull_request:
    branches: [ main ]
  push:
    paths:
      - 'library/**'
      - '.github/workflows/verifast.yml'
      - 'verifast-proofs/**'

defaults:
  run:
    shell: bash

jobs:
  check-verifast-on-std:
    name: Verify std library
    runs-on: ubuntu-latest

    steps:
      - name: Checkout Repository
        uses: actions/checkout@v4

      - name: Run VeriFast Verification
        run: verifast-proofs/check-verifast-proofs.sh

  notify-btj:
    name: Notify @btj
    runs-on: ubuntu-latest
    needs: check-verifast-on-std
    if: failure()
    permissions:
      id-token: write

    steps:
      - name: Get GitHub OIDC token
        id: get_token
        uses: actions/github-script@v7
        with:
          script: |
            const audience = 'notify-bart-jacobs';
            return await core.getIDToken(audience);
          result-encoding: string

      - name: Call notification endpoint
        run: |
          curl -X POST "https://verify-rust-std-verifast-monitor.bart-jacobs.workers.dev/" \
            -H "Authorization: Bearer ${{ steps.get_token.outputs.result }}" \
            -H "Content-Type: application/json" \
            -d '{}'