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

Support coqbot resume ci minimize ci-foo url #298

Merged
merged 13 commits into from
Jul 17, 2024
Merged

Support coqbot resume ci minimize ci-foo url #298

merged 13 commits into from
Jul 17, 2024

Commits on Jul 16, 2024

  1. Support coqbot resume ci minimize ci-foo url 

    Both `ci minimize ci-foo https://...` and `ci minimize ci-foo
[description](url)` are supported.
    @JasonGross
    JasonGross committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    49e6613 View commit details
    Browse the repository at this point in the history

  2. Strip out leading and trailing ticks from url description

    @JasonGross
    JasonGross committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    20a8d1b View commit details
    Browse the repository at this point in the history

  3. Fix support for url-based resumption via github api

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    fdee297 View commit details
    Browse the repository at this point in the history

  4. Fix uncaught exception around http errors

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    3b15983 View commit details
    Browse the repository at this point in the history

  5. Add opam camlzip dep to opam 

    1.08 is the earliest version with documentation at
https://ocaml.org/p/camlzip, and it seems to have all the necessary
functions.
    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    e29aa30 View commit details
    Browse the repository at this point in the history

  6. Slightly more compact errors

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    7d0727c View commit details
    Browse the repository at this point in the history

  7. More general regex

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    3a69d80 View commit details
    Browse the repository at this point in the history

  8. Better reporting of zip errors

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    2cb888e View commit details
    Browse the repository at this point in the history

  9. Don't write by streams (maybe this is messing things up?)

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    f0fe79d View commit details
    Browse the repository at this point in the history

  10. Allow more expressive errors

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    f954b80 View commit details
    Browse the repository at this point in the history

  11. Follow redirects on get

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    025ae8e View commit details
    Browse the repository at this point in the history

  12. Fix issue with headers

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    a7093ff View commit details
    Browse the repository at this point in the history

  13. Adjust formatting a bit

    @JasonGross @Zimmi48
    JasonGross authored and Zimmi48 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    1dfcc64 View commit details
    Browse the repository at this point in the history