aws-cryptographic-material-providers-library/.github/workflows/daily_ci.yml at 3e685adba6081b54b3c06becf5fa95aa94311974 · aws/aws-cryptographic-material-providers-library · 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
# This workflow runs every weekday at 15:00 UTC (8AM PDT)
name: Daily CI

on:
  schedule:
    - cron: "00 15 * * 1-5"

permissions:
  contents: read
  id-token: write

jobs:
  getVersions:
    # Don't run the cron builds on forks
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/dafny_versions.yaml
  daily-ci-format:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_format.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-ci-codegen:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_codegen.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-ci-verification:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_dafny_verification.yml
    with:
      dafny: ${{needs.getVersions.outputs.verifyVersion}}
  daily-ci-java:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_java_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-ci-net:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_net_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-ci-rust:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_rust_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.rustVersion}}
  daily-ci-python:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_python_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-ci-go:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_go_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-interop-test:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_interop_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
  daily-fuzz-interop-test:
    needs: getVersions
    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
    uses: ./.github/workflows/library_interop_tests.yml
    with:
      dafny: ${{needs.getVersions.outputs.version}}
      fuzz-testing: true
  notify:
    needs:
      [
        getVersions,
        daily-ci-format,
        daily-ci-codegen,
        daily-ci-verification,
        daily-ci-java,
        daily-ci-net,
        daily-ci-rust,
        daily-ci-python,
        daily-ci-go,
        daily-interop-test,
        daily-fuzz-interop-test,
      ]
    if: ${{ failure() }}
    uses: ./.github/workflows/slack-notification.yml
    with:
      message: "Daily CI failed on `${{ github.repository }}`. View run: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"
    secrets:
      SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL_CI }}