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

Reply to Web API run with result #2108

Merged
merged 11 commits into from
Aug 15, 2024
Merged

Reply to Web API run with result #2108

merged 11 commits into from
Aug 15, 2024

Commits on Aug 11, 2024

  1. Reply to Web API run with result 

    * send InProgress or Rejected
* once REPLDone send Complete
* closes #1426
    @xsebek
    xsebek committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    c3b7a5d View commit details
    Browse the repository at this point in the history

  2. Add simple REPL shell script (#1427) 

    * add script to work as a minimal REPL, that can be run from different window or machine
    @xsebek
    xsebek authored Aug 11, 2024
    Configuration menu
    Copy the full SHA
    9af6508 View commit details
    Browse the repository at this point in the history

  3. Update REPL script

    @xsebek
    xsebek committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    5491c67 View commit details
    Browse the repository at this point in the history

  4. Restyle cabal

    @xsebek
    xsebek committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    b5c13d6 View commit details
    Browse the repository at this point in the history

  5. Use readline

    @xsebek
    xsebek committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    cb47315 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Update script help example with cURL GET

    @xsebek
    xsebek committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    7750518 View commit details
    Browse the repository at this point in the history

  2. Add note for streaming

    @xsebek
    xsebek committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    22e6844 View commit details
    Browse the repository at this point in the history

  3. Add motivation as well

    @xsebek
    xsebek committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    9eac2e2 View commit details
    Browse the repository at this point in the history

  4. Restyled by fourmolu (#2118) 

    Co-authored-by: Restyled.io <commits@restyled.io>
    @restyled-io @restyled-commits
    restyled-io[bot] and restyled-commits authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b218a2e View commit details
    Browse the repository at this point in the history

  5. No cURL buffering

    @xsebek
    xsebek committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    683acea View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Merge branch 'main' into task/xsebek/web-repl-reply

    @mergify
    mergify[bot] authored Aug 15, 2024
    Configuration menu
    Copy the full SHA
    3e72a40 View commit details
    Browse the repository at this point in the history