Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[RFC FS-1079] Make .Is* discriminated union properties visible from F# #11394

Closed
wants to merge 9 commits into from
Closed

[RFC FS-1079] Make .Is* discriminated union properties visible from F# #11394

wants to merge 9 commits into from

Commits on Aug 10, 2022

  1. Merge?

    @vzarytovskii
    vzarytovskii committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    3e7a522 View commit details
    Browse the repository at this point in the history

  2. Fantomas

    @vzarytovskii
    vzarytovskii committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    ba0a744 View commit details
    Browse the repository at this point in the history

  3. Fix naming

    @vzarytovskii
    vzarytovskii committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    a7e8f23 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. fixes

    @vzarytovskii
    vzarytovskii committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    808d5b4 View commit details
    Browse the repository at this point in the history

  2. Translations + tests fixes

    @vzarytovskii
    vzarytovskii committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    1c176fa View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. Fixed tests

    @vzarytovskii
    vzarytovskii committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    de5dd73 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2023

  1. Merge remote-tracking branch 'upstream/main' into expose-du-props

    @chkn
    chkn committed May 20, 2023
    Configuration menu
    Copy the full SHA
    7c0f4dd View commit details
    Browse the repository at this point in the history

  2. Fix code formatting

    @chkn
    chkn committed May 20, 2023
    Configuration menu
    Copy the full SHA
    453b79b View commit details
    Browse the repository at this point in the history

Commits on May 21, 2023

  1. Fix the build

    @chkn
    chkn committed May 21, 2023
    Configuration menu
    Copy the full SHA
    fd23df7 View commit details
    Browse the repository at this point in the history