Windows #83
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: Windows | |
on: | |
workflow_dispatch: | |
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 | |
runs-on: windows-2019 | |
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} | |
strategy: | |
fail-fast: false | |
defaults: | |
run: | |
shell: C:\cygwin64\bin\bash.exe --login -o igncr '{0}' | |
env: | |
CHERE_INVOKING: 1 | |
steps: | |
- uses: actions/checkout@v2 | |
#- name: "Set git to use UNIX-style line endings" | |
#shell: bash | |
#run: | | |
# git config --global core.autocrlf false | |
# git config --global core.eol lf | |
- name: "Install Cygwin" | |
uses: gap-actions/setup-cygwin@v1 | |
- 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@cygwin-v2 | |
with: | |
GAP_PKGS_TO_CLONE: "OrbitalGraphs ChrisJefferson/QuickCheck peal/BacktrackKit peal/GraphBacktracking" | |
GAP_PKGS_TO_BUILD: "datastructures digraphs ferret io json orb profiling" | |
- name: "Run GAP tests for Vole" | |
uses: gap-actions/run-pkg-tests@cygwin-v2 | |
- uses: gap-actions/process-coverage@cygwin-v2 | |
- uses: codecov/codecov-action@v3 | |
- name: "Setup tmate session" | |
uses: mxschmitt/action-tmate@v3 | |
if: ${{ failure() }} | |
timeout-minutes: 15 |