-
Notifications
You must be signed in to change notification settings - Fork 19
60 lines (50 loc) · 1.54 KB
/
ci.yml
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
name: 👑 CI
# This workflow updates the .pyi stub files for documentation and interactive use.
on: [push, pull_request, pull_request_target]
concurrency:
group: ${{ github.ref }}-${{ github.head_ref }}-ci
cancel-in-progress: true
jobs:
ubuntu:
if: github.event_name != 'pull_request_target'
name: 🐧 Ubuntu
uses: ./.github/workflows/ubuntu.yml
intel:
if: github.event_name != 'pull_request_target'
name: 🐧 Intel
uses: ./.github/workflows/intel.yml
hip:
if: github.event_name != 'pull_request_target'
name: 🐧 HIP
uses: ./.github/workflows/hip.yml
macos:
if: github.event_name != 'pull_request_target'
name: 🍏 macOS
uses: ./.github/workflows/macos.yml
windows:
if: github.event_name != 'pull_request_target'
name: 🪟 Windows
uses: ./.github/workflows/windows.yml
stubs:
if: github.event_name != 'pull_request'
name: 🔄 Update Stub Files
needs: [ubuntu, intel, hip, macos, windows]
permissions:
# Give the default GITHUB_TOKEN write permission to commit and push the
# changed files back to the repository.
contents: write
uses: ./.github/workflows/stubs.yml
save_pr_number:
if: github.event_name != 'push'
runs-on: ubuntu-latest
steps:
- name: Save PR number
env:
PR_NUMBER: ${{ github.event.number }}
run: |
echo $PR_NUMBER > pr_number.txt
- uses: actions/upload-artifact@v3
with:
name: pr_number
path: pr_number.txt
retention-days: 1