Merge pull request #26659 from tmarti2/release-frama-c-29-metacsl-0.7 #2
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 CI | |
| on: | |
| push: | |
| branches: | |
| - 'master' | |
| pull_request: | |
| env: | |
| OPAMROOT: D:\opamroot | |
| OPAMSOLVERTIMEOUT: 120 | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| os: | |
| - windows-latest | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Checkout tree | |
| uses: actions/checkout@v4 | |
| - name: Download install.ps1 | |
| run: | | |
| [Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12 | |
| (New-Object System.Net.WebClient).DownloadFile("https://raw.githubusercontent.com/ocaml/opam/master/shell/install.ps1", ".\install.ps1") | |
| - name: Restore opam cache | |
| id: cache-opam | |
| uses: actions/cache/restore@v4 | |
| with: | |
| path: | | |
| D:\opam\bin | |
| D:\opamroot | |
| key: ${{ runner.os }}-opam-${{ hashFiles('install.ps1') }} | |
| - name: Install opam | |
| if: steps.cache-opam.outputs.cache-hit != 'true' | |
| run: | | |
| Invoke-Expression "& ./install.ps1 -OpamBinDir 'D:\opam\bin'" | |
| - name: Add opam to PATH | |
| run: | | |
| D:\opam\bin\opam --version | |
| "D:\opam\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append | |
| - name: Init opam | |
| if: steps.cache-opam.outputs.cache-hit != 'true' | |
| run: opam init --yes --no-setup . | |
| - name: Restrict testing to available compilers | |
| if: steps.cache-opam.outputs.cache-hit != 'true' | |
| # TODO Amend this lowerbound as older compiler packages are updated | |
| run: opam switch set-invariant --formula "`"ocaml`" {>= `"4.13`"}" | |
| - name: Save opam cache | |
| if: steps.cache-opam.outputs.cache-hit != 'true' | |
| uses: actions/cache/save@v4 | |
| with: | |
| path: | | |
| D:\opam\bin | |
| D:\opamroot | |
| key: ${{ steps.cache-opam.outputs.cache-primary-key }} | |
| - name: Get changed files | |
| id: changed-files | |
| if: github.event_name != 'push' | |
| uses: tj-actions/changed-files@v44 | |
| - name: List all changed packages | |
| id: changed-packages | |
| if: github.event_name != 'push' | |
| env: | |
| ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} | |
| run: | | |
| $output = @() | |
| Foreach ($file in ($env:ALL_CHANGED_FILES).Split(" ")) { | |
| switch -Regex ($file) { | |
| '^packages\\[^\\]*\\([^\\]*)\\.*' { $output += "$($matches[1])"; Break } | |
| default { Write-Host "$file skipped"; Break } | |
| } | |
| } | |
| $outputJson = $output | ConvertTo-Json | |
| "data<<@@@" | Out-File -FilePath $env:GITHUB_OUTPUT -Encoding utf8 -Append | |
| $outputJson | Out-File -FilePath $env:GITHUB_OUTPUT -Encoding utf8 -Append | |
| "@@@" | Out-File -FilePath $env:GITHUB_OUTPUT -Encoding utf8 -Append | |
| - name: Install packages | |
| env: | |
| ALL_CHANGED_PACKAGES: ${{ steps.changed-packages.outputs.data }} | |
| if: github.event_name != 'push' | |
| run: | | |
| $pkgs = $env:ALL_CHANGED_PACKAGES | ConvertFrom-Json | |
| $failed = $false | |
| opam update | |
| Foreach ($pkg in $pkgs) { | |
| Write-Host "::group::Testing `e[1;34m$pkg`e[0m" | |
| opam install --color=always --confirm-level=unsafe-yes "$pkg" | |
| Write-Host "::endgroup::" | |
| switch ($LASTEXITCODE) { | |
| 0 { Break } | |
| 5 { Write-Host "$pkg is not installable. `e[1;33mSkip`e[0m."; Break } # TODO: Remove when https://github.com/ocaml/opam/issues/6017 is fixed | |
| 20 { Write-Host "$pkg is not installable. `e[1;33mSkip`e[0m."; Break } | |
| 31 { Write-Host "`e[1;31m$pkg failed to build`e[0m."; $failed = $true; Break } | |
| default { throw "Unexpected error $_" } | |
| } | |
| Write-Host | |
| } | |
| if ($failed) { | |
| throw "build failed" | |
| } | |
| Exit |