mata/.github/workflows/release-devel.yml at 6c467d254f8d11764e7c722f8ecea19387e6a711 · VeriFIT/mata · 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
140
141
142
143
144
145
146
147
148
149
150
151
152
name: Development release (devel)
permissions: write-all
on:
  pull_request:
    types:
      - closed
    branches:
      - devel
jobs:
  build-docs:
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-latest, macos-latest]
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0
          ref: ${{ github.event.pull_request.merge_commit_sha }}
      - uses: ./.github/workflows/actions/docs
        with:
          os: ${{ matrix.os }}
  run-tests:
    if: github.event.pull_request.merged == true
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-latest, macos-latest]
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0
          ref: ${{ github.event.pull_request.merge_commit_sha }}
      - uses: ./.github/workflows/actions/setup
        with:
          os: ${{ matrix.os }}
      - uses: ./.github/workflows/actions/compile
        with:
          build-log-output-file: "warnings-new"
      - name: Test the library
        run: make test
  run-tests-python:
    if: github.event.pull_request.merged == true
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-latest, macos-latest]
        python-version: ["3.13"]
        install-type: ["src", "tarball"]
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0
          ref: ${{ github.event.pull_request.merge_commit_sha }}
      - uses: ./.github/workflows/actions/setup
        with:
          os: ${{ matrix.os }}
      - name: Set up Python and its dependencies ${{ inputs.python-version }}
        uses: ./.github/workflows/actions/setup-python
        with:
          os: ${{ matrix.os }}
          python-version: ${{ matrix.python-version }}
      - name: Write the released version to VERSION file
        shell: bash
        run: |
          echo "v0.0.0-dev.1" > VERSION
          echo "v0.0.0-dev.1" > bindings/python/VERSION
      - name: Compile the Python bindings from the source
        uses: ./.github/workflows/actions/compile-python-src
      - name: Compile the Python bindings from the tarball
        if: matrix.install-type == 'tarball'
        uses: ./.github/workflows/actions/compile-python-tarball
      - name: Test the Python bindings
        uses: ./.github/workflows/actions/test-python
  release-dev:
    needs: [build-docs, run-tests, run-tests-python]
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0
          ref: ${{ github.event.pull_request.merge_commit_sha }}
      - uses: ./.github/workflows/actions/github-actions-git-config
      - uses: ./.github/workflows/actions/bump-version
        with:
          prerelease: true
# FIXME: Support in the docs template docs deployment for development releases as well (currently only supported for
# master releases).
# deploy-docs:
#   needs: development-release
#   runs-on: ubuntu-latest
#   steps:
#     - uses: actions/checkout@v6
#     - uses: ./.github/workflows/actions/docs
#     - name: Deploy to GitHub Pages
#       uses: JamesIves/github-pages-deploy-action@v4
#       with:
#         folder: docs/_build/html
# FIXME: Support in the python binding template for development releases as well (currently only supported for master
# releases).
# build-and-deploy-to-pypi:
#   needs: release-dev
#   runs-on: ubuntu-latest
#   strategy:
#     matrix:
#       python-version: ["3.13"]
#   steps:
#     - uses: actions/checkout@v6
#     - name: Infer the bumped version (without tagging)
#       uses: ./.github/workflows/actions/bump-version
#       id: bump
#       with:
#         dry-run: true
#         prerelease: true
#     - name: Set the new version to file without committing (since the GA is done wrt old version)
#       run: |
#         echo "${{ steps.bump.outputs.new-tag }}" > VERSION
#     - name: Set up Python ${{ matrix.python-version }}
#       uses: actions/setup-python@v6
#       with:
#         python-version: ${{ matrix.python-version }}
#         cache: "pip"
#     - name: Install Python Dependencies
#       run: |
#         python3 -m pip install --upgrade pip
#         python3 -m pip install setuptools wheel twine
#     - name: Install Python Dependencies
#       run: |
#         make -C bindings/python init
#     - name: Install Unix dependencies
#       run: |
#         sudo apt -qq update
#         sudo apt -qq install -y graphviz graphviz-dev
#     - name: Verify that the Binding can be installed
#       run: |
#         make -C bindings/python install
#     - name: Verify tests tests
#       run: |
#         make -C bindings/python test
#     - name: Build python release distribution package
#       run: |
#         make -C bindings/python pypi-release
#     - name: Upload to Pypi
#       run: |
#         python3 -m twine upload bindings/python/dist/*.tar.gz
#       env:
#         TWINE_USERNAME: __token__
#         TWINE_PASSWORD: ${{ secrets.PYPI_SECRET_TOKEN }}
#         # TWINE_REPOSITORY: testpypi