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: fsprojects/fsharp-language-server
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: fsprojects/fsharp-language-server
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: incremental
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 11 commits
  • 8 files changed
  • 1 contributor

Commits on Jul 12, 2018

  1. Use local build of FSCS

    @georgewfraser
    georgewfraser committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    ffb4593 View commit details
    Browse the repository at this point in the history

  2. Cache lets

    @georgewfraser
    georgewfraser committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    dba5630 View commit details
    Browse the repository at this point in the history

  3. Use caching in more places

    @georgewfraser
    georgewfraser committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    96f073f View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2018

  1. Only cache user ops

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    73521a3 View commit details
    Browse the repository at this point in the history

  2. Formatting

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    642a007 View commit details
    Browse the repository at this point in the history

  3. Tweak source version

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    e4c0524 View commit details
    Browse the repository at this point in the history

  4. Simplify

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    6e232d4 View commit details
    Browse the repository at this point in the history

  5. Move

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    ac78dd7 View commit details
    Browse the repository at this point in the history

  6. Fix up scripts

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    0c8c886 View commit details
    Browse the repository at this point in the history

  7. Move timer

    @georgewfraser
    georgewfraser committed Jul 15, 2018
    Configuration menu
    Copy the full SHA
    c131e43 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2018

  1. WIP

    @georgewfraser
    georgewfraser committed Jul 21, 2018
    Configuration menu
    Copy the full SHA
    bce2fbe View commit details
    Browse the repository at this point in the history
Loading