Adding creation of subgroups of GL_2(Zhat) with given coset representatives #61
This file contains 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: Tests | |
| on: | |
| push: | |
| branches: [ '**' ] | |
| pull_request_target: | |
| jobs: | |
| matrix: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| matrix: ${{ steps.set-matrix.outputs.matrix }} | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| submodules: 'true' | |
| - id: set-matrix | |
| run: | | |
| cd ModFrmGL2/ | |
| matrix=$(( | |
| echo '{ "target" : [' | |
| ls -1 Tests | sed -r 's/^([^,]*)(,?)$/"\1"\2/' | paste -sd "," - | |
| echo " ]}" | |
| ) | jq -c .) | |
| echo $matrix | |
| echo $matrix | jq . | |
| echo "matrix=$matrix" >> $GITHUB_OUTPUT | |
| check-matrix: | |
| runs-on: ubuntu-latest | |
| needs: matrix | |
| steps: | |
| - name: Install json2yaml | |
| run: | | |
| sudo npm install -g json2yaml | |
| - name: Check matrix definition | |
| run: | | |
| matrix='${{needs.matrix.outputs.matrix}}' | |
| echo $matrix | |
| echo $matrix | jq . | |
| echo $matrix | json2yaml | |
| has_access: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| has_access: ${{ steps.my-key.outputs.has_access }} | |
| steps: | |
| - id: my-key | |
| env: | |
| MAGMA_URL: ${{ secrets.MAGMA_URL }} | |
| if: "${{ env.MAGMA_URL != '' }}" | |
| run: | | |
| echo "has_access=true" >> $GITHUB_OUTPUT | |
| check-has_access: | |
| runs-on: ubuntu-latest | |
| needs: has_access | |
| steps: | |
| - name: Check has_access definition | |
| run: | | |
| echo ${{needs.has_access.outputs.has_access}} | |
| printjob: | |
| name: print event | |
| runs-on: ubuntu-latest | |
| if: false | |
| steps: | |
| - name: dump github context | |
| env: | |
| github_context: ${{ tojson(github) }} | |
| run: | | |
| echo "$github_context" | |
| test: | |
| runs-on: ubuntu-latest | |
| name: Run tests | |
| needs: [has_access, matrix] | |
| if: needs.has_access.outputs.has_access == 'true' | |
| strategy: | |
| fail-fast: false | |
| matrix: ${{fromJson(needs.matrix.outputs.matrix)}} | |
| steps: | |
| - name: Check user permission | |
| id: check | |
| uses: scherermichael-oss/action-has-permission@master | |
| with: | |
| required-permission: write | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Stop workflow for users with no write access | |
| if: "! steps.check.outputs.has-permission" | |
| run: | | |
| echo "Sorry! Your permissions are insufficient." | |
| false | |
| - name: The user has write access | |
| if: "steps.check.outputs.has-permission" | |
| run: | | |
| echo "The user has write access" | |
| - name: Checkout for a push event | |
| uses: actions/checkout@v2 | |
| if: ${{ github.event_name == 'push' }} | |
| with: | |
| submodules: 'true' | |
| - name: Check we have submodules | |
| run: | | |
| if [[ -f GrpGL2Hat ]]; then | |
| echo "GrpGL2Hat exists!" | |
| fi | |
| - name: Checkout for a PR event | |
| uses: actions/checkout@v2 | |
| if: ${{ github.event_name == 'pull_request_target' }} | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| submodules: true | |
| - name: Cache magma | |
| uses: actions/cache@v3 | |
| id: magmacache | |
| env: | |
| # Increase this value to reset cache when MAGMA_URL changes | |
| CACHE_NUMBER: 2.27-6 | |
| with: | |
| path: | | |
| ./magma | |
| key: | |
| ${{ env.CACHE_NUMBER }} | |
| - name: Install magma | |
| env: | |
| MAGMA_URL: ${{ secrets.MAGMA_URL }} | |
| shell: bash | |
| if: steps.magmacache.outputs.cache-hit != 'true' | |
| run: | | |
| wget "$MAGMA_URL" -O magma.tar.gz --quiet | |
| tar xf magma.tar.gz | |
| - name: Create dummy network device | |
| shell: bash | |
| run: | | |
| sudo ip link add dumdum type dummy | |
| sudo ifconfig dumdum hw ether `./magma/magma -d | grep "Valid MAC addresses" -A1 | tail -n1` | |
| echo | ./magma/magma | |
| - name: Run tests | |
| shell: bash | |
| run: | | |
| cd ModFrmGL2/ | |
| ../magma/magma -b target:=${{matrix.target}} exitsignal:="" run_tests.m | |