Skip to content

Merge pull request #444 from rtetley/update-readme #2016

Merge pull request #444 from rtetley/update-readme

Merge pull request #444 from rtetley/update-readme #2016

Workflow file for this run

# Main doc: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/introduction-to-github-actions
# Runners spec: https://docs.github.com/en/free-pro-team@latest/actions/reference/specifications-for-github-hosted-runners
# Glob expressions: https://github.com/actions/toolkit/tree/main/packages/glob
name: Windows
###############################################################################
# Schedule:
# - push on any branch whose name matches v** or master
# - any pull request
###############################################################################
on:
push:
branches:
- main
pull_request:
branches:
- '**'
schedule:
- cron: "0 0 * * *"
workflow_dispatch:
inputs:
platform:
description: 'Arguments for the platform script:'
required: true
default: '-extent=x -parallel=p -jobs=2 -large=e -compcert=y -set-switch=y'
###############################################################################
# Platform script options shared among all jobs
###############################################################################
env:
PLATFORM_ARGS: -extent=x -parallel=p -jobs=2 -large=e -compcert=y -set-switch=y
COQREGTESTING: y
###############################################################################
# Windows
#
# 2 jobs, the former builds the installer, the second tests it
#
# CAVEATS:
# - git is misconfigured, by default it puts \r in between \n\n
###############################################################################
jobs:
Windows_platform:
name: Windows
runs-on: windows-latest
strategy:
fail-fast: false
matrix:
architecture:
- '64'
variant:
# Keep this in sync with the Smoke test below
- '8.19~2024.10'
- '8.18~2023.11'
steps:
- name: Set git to use LF
run: |
git config --global core.autocrlf false
git config --global core.eol lf
- name: Git checkout
uses: actions/checkout@v4
- name: Set PLATFORM
if: ${{ github.event.inputs.platform != '' }}
run: echo "PLATFORM=${{ github.event.inputs.platform }}" >> $GITHUB_ENV
- name: Run common platform script
shell: cmd
run: coq_platform_make_windows.bat -destcyg=C:\cygwin_coq_platform -arch=${{matrix.architecture}} -packages=${{matrix.variant}} %PLATFORM_ARGS% -dumplogs
- name: Create installer
shell: cmd
run: C:\cygwin_coq_platform\bin\bash --login -c "cd /platform/ && windows/create_installer_windows.sh && mkdir /cygdrive/c/installer && cp windows_installer/*exe /cygdrive/c/installer/"
- name: Create smoke test kit
shell: cmd
run: C:\cygwin_coq_platform\bin\bash --login -c "cd /platform/ && shell_scripts/create_smoke_test_kit.sh && mkdir /cygdrive/c/smoke && cp -ra smoke-test-kit/* /cygdrive/c/smoke/"
- name: 'Upload Artifact'
uses: actions/upload-artifact@v4
with:
name: 'Windows installer ${{matrix.variant}} ${{matrix.architecture}}'
path: C:\installer\*.exe
retention-days: 5
- name: 'Upload smoke test kit'
uses: actions/upload-artifact@v4
with:
name: 'Smoke Test Kit Windows ${{matrix.variant}} ${{matrix.architecture}}'
path: C:\smoke\
retention-days: 5
Windows_smoke:
name: Smoke test Windows
needs: Windows_platform
runs-on: windows-latest
strategy:
fail-fast: false
matrix:
architecture:
- '64'
variant:
- '8.19~2024.10'
- '8.18~2023.11'
steps:
- name: 'Download Artifact'
uses: actions/download-artifact@v4
id: download
with:
name: 'Windows installer ${{matrix.variant}} ${{matrix.architecture}}'
- name: 'Download smoke test kit'
uses: actions/download-artifact@v4
id: download-smoke
with:
name: 'Smoke Test Kit Windows ${{matrix.variant}} ${{matrix.architecture}}'
- name: 'Run Installer'
shell: cmd
run: |
cd ${{steps.download.outputs.download-path}}
FOR %%f IN (*.exe) DO %%f /S /D=C:\Coq
- name: 'Smoke coqc'
shell: cmd
run: C:\Coq\bin\coqc.exe -v
- name: 'Run Windows smoke test kit'
shell: cmd
run: |
CD ${{steps.download-smoke.outputs.download-path}}
DIR
SET PATH=C:\Coq\bin\;%PATH%
CALL run-smoke-test.bat