aws-database-encryption-sdk-dynamodb/.github/workflows/mpl-head.yml at main · aws/aws-database-encryption-sdk-dynamodb · 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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
# This workflow invokes other workflows with the latest MPL head at 14:00 UTC (7am PDT)
name: CI MPL HEAD

on:
  workflow_dispatch:
  schedule:
    - cron: "00 14 * * 1-5"

jobs:
  getVersion:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    # Don't run the cron builds on forks
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/dafny_version.yml
  getVerifyVersion:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/dafny_verify_version.yml
  getMplHeadVersion:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/mpl_head_version.yml
    with:
      mpl-head: main
  mpl-head-ci-format:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: getVersion
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_format.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
  mpl-head-ci-verification:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: [getVerifyVersion, getMplHeadVersion]
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_dafny_verification.yml
    with:
      dafny: ${{needs.getVerifyVersion.outputs.version}}
      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-test-vector-verification:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: [getVerifyVersion, getMplHeadVersion]
    uses: ./.github/workflows/test_vector_verification.yml
    with:
      dafny: ${{needs.getVerifyVersion.outputs.version}}
      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-java:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: [getVersion, getMplHeadVersion]
    uses: ./.github/workflows/ci_test_java.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-java-test-vectors:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: [getVersion, getMplHeadVersion]
    uses: ./.github/workflows/ci_test_vector_java.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-java-examples:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: [getVersion, getMplHeadVersion]
    uses: ./.github/workflows/ci_examples_java.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-net:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: getVersion
    uses: ./.github/workflows/ci_test_net.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-rust:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: getVersion
    uses: ./.github/workflows/library_rust_tests.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-net-test-vectors:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: getVersion
    uses: ./.github/workflows/ci_test_vector_net.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-head: true
  mpl-head-ci-net-examples:
    permissions:
      contents: read
      pull-requests: write
      id-token: write
    needs: getVersion
    uses: ./.github/workflows/ci_examples_net.yml
    with:
      dafny: ${{needs.getVersion.outputs.version}}
      mpl-head: true