HighSchoolMascotMap/.github/workflows/post-checkin.yml at b760b7c48e915fe36d1b9a51045b890548127c55 · watmildon/HighSchoolMascotMap · 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
name: Post Checkin Tasks

on:
  push:
    paths:
      - Preamble_Global.ultra
      - Preamble_QLever.ultra
      - Preamble_US.ultra
      - Query_Global.ultra
      - Query_QLever.ultra
      - Query_US.ultra
      - Style.ultra

jobs:
  generate-styles-and-newmascots:
    runs-on: ubuntu-latest

    permissions:
      contents: write

    steps:
    - name: Checkout repository
      uses: actions/checkout@v3

    - name: Setup .NET
      uses: actions/setup-dotnet@v3
      with:
        dotnet-version: '8.x'

    - name: Restore dependencies
      working-directory: ./newmascots
      run: dotnet restore

    - name: Build the project
      working-directory: ./newmascots
      run: dotnet build --no-restore --configuration Release

    - name: Run the program
      working-directory: ./newmascots
      run: dotnet run --no-build --configuration Release

    - name: Verify file generation
      run: |
        if [ ! -f NewMascots.txt ]; then
          echo "NewMascots.txt was not generated."
          exit 1
        fi

    - name: Concat style files
      run: |
        cat Preamble_US.ultra Style.ultra Query_US.ultra > HSMascotMap.ultra
        cat Preamble_Global.ultra Style.ultra Query_Global.ultra > HSMascotMap_global.ultra
        cat Preamble_QLever.ultra Style.ultra Query_QLever.ultra > HSMascotMap_QLever.ultra

    - name: Commit and push changes
      run: |
        git config user.name "github-actions[bot]"
        git config user.email "github-actions[bot]@users.noreply.github.com"
        git add HSMascotMap.ultra
        git add HSMascotMap_global.ultra
        git add HSMascotMap_QLever.ultra
        git commit -m "Update style files"
        git add NewMascots.txt
        git commit -m "Update NewMascots.txt"
        git push