AngouriMath/.github/workflows/FSharpTest.yml at master · ASC-Community/AngouriMath · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
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' }}