mlkem-native/.github/workflows/all.yml at 5b7708f686d31140a00734a3b0d5a3a0cea2173a · pq-code-package/mlkem-native · 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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
# Copyright (c) The mlkem-native project authors
# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT

name: CI
permissions:
  contents: read
on:
  workflow_dispatch:
  push:
    branches: ["main"]
  pull_request:
    branches: ["main"]
    types: [ "opened", "synchronize" ]

jobs:
  base:
    name: Base
    permissions:
      contents: 'read'
      id-token: 'write'
    uses: ./.github/workflows/base.yml
    secrets: inherit
  # lint-markdown:
  #   name: Lint Markdown
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   uses: ./.github/workflows/lint_markdown.yml
  # nix:
  #   name: Nix
  #   permissions:
  #     actions: 'write'
  #     contents: 'read'
  #     id-token: 'write'
  #   uses: ./.github/workflows/nix.yml
  #   secrets: inherit
  # ci:
  #   name: Extended
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base, nix ]
  #   uses: ./.github/workflows/ci.yml
  #   secrets: inherit
  cbmc:
    name: CBMC
    permissions:
      contents: 'read'
      id-token: 'write'
    # needs: [ base, nix ]
    uses: ./.github/workflows/cbmc.yml
    secrets: inherit
  # oqs_integration:
  #   name: libOQS
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base ]
  #   uses: ./.github/workflows/integration-liboqs.yml
  #   secrets: inherit
  # opentitan_integration:
  #   name: OpenTitan
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base ]
  #   uses: ./.github/workflows/integration-opentitan.yml
  #   secrets: inherit
  # awslc_integration_fixed:
  #   name: AWS-LC (v1.64.0)
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base ]
  #   uses: ./.github/workflows/integration-awslc.yml
  #   with:
  #     commit: 7187ab572ddcdae4fa408e932d3e878c9941137b # v1.64.0
  #   secrets: inherit
  # awslc_integration_head:
  #   name: AWS-LC (HEAD)
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base ]
  #   uses: ./.github/workflows/integration-awslc.yml
  #   with:
  #     commit: main
  #   secrets: inherit
  # ct-test:
  #   name: Constant-time
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base, nix ]
  #   uses: ./.github/workflows/ct-tests.yml
  #   secrets: inherit
  # slothy:
  #   name: SLOTHY
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base, nix ]
  #   uses: ./.github/workflows/slothy.yml
  #   secrets: inherit
  # baremetal:
  #   name: Baremetal
  #   permissions:
  #     contents: 'read'
  #     id-token: 'write'
  #   needs: [ base ]
  #   uses: ./.github/workflows/baremetal.yml
  #   secrets: inherit