jflex/.github/workflows/deploy-src.yml at master · Chrisg2000/jflex · 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
# Copyright 2023, Gerwin Klein
# SPDX-License-Identifier: BSD-3-Clause

name: Deploy Sources

on:
  push:
    branches:
      - master

env:
  PUBLISH_SOURCES: 'true'

jobs:

  deploy:
    name: 'Sources'
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v3
      with:
        path: jflex
    - uses: actions/checkout@v3
      with:
        ref: aggregated-java-sources
        path: aggregated-java-sources
    - uses: actions/cache@v3
      with:
        path: ~/.cache/bazel
        # same as for build action
        key: ${{ runner.os }}-bazel-${{ github.sha }}
        restore-keys: |
          ${{ runner.os }}-bazel-
    - name: 'Info'
      run: cd jflex; bazel --bazelrc=.ci.bazelrc info release
    - name: 'Prepare aggregated sources'
      run: |
        cd jflex; scripts/prepare-deploy-source-code.sh
    - name: 'Push'
      run: |
        cd aggregated-java-sources; git push