Repository navigation
A number's conjugate is made under the setting in force #4137
Workflow file for this run
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: 'F# Test' | |
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| branches: | |
| - '*' | |
| jobs: | |
| Test: | |
| strategy: | |
| matrix: | |
| os: [windows-latest, ubuntu-latest, macos-latest] | |
| runs-on: ${{ matrix.os }} | |
| # id-token is what the codecov step signs in with. Naming one permission sets every other to | |
| # none, so contents: read is there for the checkout. | |
| permissions: | |
| contents: read | |
| id-token: write | |
| steps: | |
| - uses: actions/checkout@v6 | |
| with: | |
| submodules: 'recursive' | |
| - name: Setup .NET 10 | |
| uses: actions/setup-dotnet@v5 | |
| with: | |
| dotnet-version: '10.x' | |
| dotnet-quality: 'preview' | |
| - name: Build Tests # We need it to be able to retry | |
| run: | | |
| dotnet add "Sources/Tests/FSharpWrapperUnitTests" package Microsoft.NET.Test.Sdk # Update is required for GitHubActionsTestLogger to print anything | |
| dotnet add "Sources/Tests/FSharpWrapperUnitTests" package GitHubActionsTestLogger | |
| dotnet build Sources/Tests/FSharpWrapperUnitTests | |
| - name: Test | |
| if: ${{ matrix.os != 'ubuntu-latest' }} | |
| run: | | |
| dotnet test "Sources/Tests/FSharpWrapperUnitTests" -c Release -l GitHubActions | |
| - name: Test with coverage | |
| if: ${{ matrix.os == 'ubuntu-latest' }} | |
| run: | | |
| dotnet test "Sources/Tests/FSharpWrapperUnitTests" -c Release -l GitHubActions --collect:"XPlat Code Coverage" --results-directory ./coverage -- DataCollectionRunSettings.DataCollectors.DataCollector.Configuration.Format=opencover | |
| # Codecov takes an upload from a branch of this repository only with a token, and without one | |
| # it rejected them while this step stayed green: master's newest report there is from | |
| # 2022-11-28. use_oidc gets a token for the run; on a fork's pull request the action skips it, | |
| # and Codecov takes that upload without one. A rejected upload fails the run on a push to | |
| # master only, so that an outage at Codecov does not fail a pull request. See | |
| # Sources/AngouriMath/Docs/Contributing/Coverage.md. | |
| - name: 'Send to codecov' | |
| if: ${{ matrix.os == 'ubuntu-latest' }} | |
| uses: codecov/codecov-action@v5 | |
| with: | |
| directory: ./coverage | |
| flags: fsharp | |
| use_oidc: true | |
| fail_ci_if_error: ${{ github.event_name == 'push' }} |