ProofMesh/.github/workflows/ci-release.yml at main · dingyucanada/ProofMesh · 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: proofmesh-ci-release

on:
  push:
  pull_request:
  workflow_dispatch:

permissions:
  contents: read

jobs:
  verify:
    runs-on: ubuntu-24.04
    steps:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
        with:
          python-version: "3.11"
          cache: pip
      - run: python -m pip install --require-hashes -r requirements-ci.lock
      - run: python -m pip install --no-deps -e .
      - run: pytest -q -p no:cacheprovider
      - run: ruff check --no-cache src tests scripts
      - run: python scripts/generate_sbom.py
      - run: git diff --exit-code -- sbom.cdx.json

  release:
    if: github.event_name == 'workflow_dispatch'
    needs: verify
    runs-on: ubuntu-24.04
    permissions:
      contents: read
      id-token: write
      attestations: write
    steps:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
        with:
          python-version: "3.11"
      - run: python -m pip install --require-hashes -r requirements-ci.lock
      - run: python -m pip install --no-deps -e .
      - run: PYTHONPATH=src python scripts/build_release.py --output ProofMesh-release.zip
      - run: python scripts/generate_provenance.py ProofMesh-release.zip --output ProofMesh-release.intoto.json
      - uses: actions/attest-build-provenance@e8998f949152b193b063cb0ec769d69d929409be
        with:
          subject-path: ProofMesh-release.zip
      - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
        with:
          name: proofmesh-release
          path: |
            ProofMesh-release.zip
            ProofMesh-release.intoto.json
            sbom.cdx.json