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.

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

Default docker config #690

Merged
merged 6 commits into from Apr 4, 2019
Merged

Default docker config #690

merged 6 commits into from Apr 4, 2019

Commits on Apr 4, 2019

  1. Fix the docker images

    * They need a default playground.yaml
    * we can now mount a local playground.yaml
    * fix --version flag by having nix generate a patch for Git.hs
    * fix the tutorial link on the playground; it will point to the current
      revision if built with nix and will default to point to master
      if built with cabal or stack
    shmish111 committed Apr 4, 2019
    Configuration menu
    Copy the full SHA
    766821f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4cb5de1 View commit details
    Browse the repository at this point in the history
  3. fix nix

    shmish111 committed Apr 4, 2019
    Configuration menu
    Copy the full SHA
    b807888 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cd831b9 View commit details
    Browse the repository at this point in the history
  5. fix version

    shmish111 committed Apr 4, 2019
    Configuration menu
    Copy the full SHA
    594767b View commit details
    Browse the repository at this point in the history
  6. hlint and stylish

    shmish111 committed Apr 4, 2019
    Configuration menu
    Copy the full SHA
    3201153 View commit details
    Browse the repository at this point in the history