Add greyhound #1
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 | |
| jobs: | |
| combine: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| - name: Generate styles files from components | |
| 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 | |
| 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" | |
| generate-newmascots-file: | |
| 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: 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 NewMascots.txt | |
| git diff-index --quiet HEAD || git commit -m "Update NewMascots.txt" | |
| git push |