Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: dotnet/fsharp
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: ccc97d8
Choose a base ref
...
head repository: dotnet/fsharp
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: a934894
Choose a head ref
  • 9 commits
  • 3 files changed
  • 6 contributors

Commits on Oct 28, 2022

  1. [release/dev17.4] fix metadata failure due to double integration of s… 

    …ignature (#14190)

* fix metadata failure due to double duplication

* fix metadata failure due to double duplication

Co-authored-by: Don Syme <dsyme@users.noreply.github.com>
    @github-actions @dsyme
    github-actions[bot] and dsyme authored Oct 28, 2022
    Configuration menu
    Copy the full SHA
    27c5d89 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2022

  1. Merge branch 'release/dev17.5' into merges/release/dev17.4-to-release… 

    …/dev17.5
    @vzarytovskii
    vzarytovskii authored Oct 29, 2022
    Configuration menu
    Copy the full SHA
    ab3a636 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #14198 from dotnet/merges/release/dev17.4-to-relea… 

    …se/dev17.5

Merge release/dev17.4 to release/dev17.5
    @dotnet-bot
    dotnet-bot authored Oct 29, 2022
    Configuration menu
    Copy the full SHA
    1a555d3 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Create commands.yml

    @vzarytovskii
    vzarytovskii authored Oct 31, 2022
    Configuration menu
    Copy the full SHA
    d13df68 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'release/dev17.5' into merges/main-to-release/dev17.5

    @vzarytovskii
    vzarytovskii authored Oct 31, 2022
    Configuration menu
    Copy the full SHA
    d8fba57 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #14202 from dotnet/merges/main-to-release/dev17.5 

    Merge main to release/dev17.5
    @dotnet-bot
    dotnet-bot authored Oct 31, 2022
    Configuration menu
    Copy the full SHA
    b567e43 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Update dependencies from https://github.com/dotnet/arcade build 20221… 

    …028.1 (#14205)

Microsoft.DotNet.Arcade.Sdk , Microsoft.DotNet.Helix.Sdk
 From Version 8.0.0-beta.22524.5 -> To Version 8.0.0-beta.22528.1

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
    @dotnet-maestro
    dotnet-maestro[bot] and dotnet-maestro[bot] authored Nov 1, 2022
    Configuration menu
    Copy the full SHA
    2c2884a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'release/dev17.5' into merges/main-to-release/dev17.5

    @vzarytovskii
    vzarytovskii authored Nov 1, 2022
    Configuration menu
    Copy the full SHA
    849f9b5 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2022

  1. Merge pull request #14209 from dotnet/merges/main-to-release/dev17.5 

    Merge main to release/dev17.5
    @dotnet-bot
    dotnet-bot authored Nov 2, 2022
    Configuration menu
    Copy the full SHA
    a934894 View commit details
    Browse the repository at this point in the history
Loading