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

Dockerize for GitHub execution #4

Merged
merged 9 commits into from
Oct 29, 2023
Merged

Dockerize for GitHub execution #4

merged 9 commits into from
Oct 29, 2023

Commits on Oct 20, 2023

  1. Cleanup hyphenated items.

    @Emm
    Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    43f8f13 View commit details
    Browse the repository at this point in the history

  2. improve story identification

    @jprosenbaum @Emm
    jprosenbaum authored and Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    75deeac View commit details
    Browse the repository at this point in the history

  3. fix double version attribute

    @jprosenbaum @Emm
    jprosenbaum authored and Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    c6bb4c4 View commit details
    Browse the repository at this point in the history

  4. adding docker support

    @jprosenbaum @Emm
    jprosenbaum authored and Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    37b6102 View commit details
    Browse the repository at this point in the history

  5. Bump Rust base image.

    @Emm
    Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    9ddc426 View commit details
    Browse the repository at this point in the history

  6. Do not use dos2unix anymore. 

    This is not necessary since we use .gitattributes.
    @Emm
    Emm committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    6db2368 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2023

  1. Use COPY --chmod instead of COPY + chmod.

    @Emm
    Emm committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    d2053c1 View commit details
    Browse the repository at this point in the history

  2. Download the generator's jar file from Github. 

    This is simpler and lets us control which version we get.
    @Emm
    Emm committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    19eb221 View commit details
    Browse the repository at this point in the history

  3. Preserve lock file. 

    Loses the cache though.
    @Emm
    Emm committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    0b7fc33 View commit details
    Browse the repository at this point in the history