Post Checkin Tasks #3
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 | |
| schedule: | |
| - cron: '0 0 * * 0' # Triggers every Sunday at midnight (UTC) | |
| workflow_dispatch: # Allows manual triggering | |
| 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 |