Windows #123
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: Windows | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - master | |
| schedule: | |
| # Every Monday at 2:30 AM UTC | |
| - cron: '30 2 * * 1' | |
| #concurrency: | |
| # group: ${{ github.workflow }}-${{ github.ref }} | |
| # cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
| jobs: | |
| # The Cygwin job | |
| cygwin: | |
| name: Cygwin - GAP master - Rust stable | |
| runs-on: windows-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - uses: gap-actions/setup-cygwin@v2 | |
| - name: "Set up rust" | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| toolchain: stable | |
| - name: "Build the rust component of Vole" | |
| run: cd rust && cargo build --release --all-features | |
| - name: "Run the rust tests for Vole" | |
| run: cd rust && cargo test --release -q | |
| - name: "Clone GAP and some packages, and compile as necessary" | |
| uses: gap-actions/setup-gap@v2 | |
| with: | |
| GAP_PKGS_TO_CLONE: "OrbitalGraphs quickcheck" | |
| GAP_PKGS_TO_BUILD: "datastructures digraphs ferret io json orb profiling" | |
| - name: "Run GAP tests for Vole" | |
| uses: gap-actions/run-pkg-tests@v4 | |
| - uses: gap-actions/process-coverage@v2 | |
| - uses: codecov/codecov-action@v5 | |
| with: | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| - name: "Setup tmate session" | |
| uses: mxschmitt/action-tmate@v3 | |
| if: ${{ failure() }} | |
| timeout-minutes: 15 |