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

WIP: Build a docker image #19

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

WIP: Build a docker image #19

wants to merge 15 commits into from

Commits on Nov 14, 2024

  1. Use latest ubuntu.

    @arokem
    arokem committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    88541fe View commit details
    Browse the repository at this point in the history

  2. Execute on PR and push.

    @arokem
    arokem committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2f50da4 View commit details
    Browse the repository at this point in the history

  3. Skip space-minimizing step.

    @arokem
    arokem committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    43b61a4 View commit details
    Browse the repository at this point in the history

  4. For now, just build. 

    I'll put back the pushing once I get this to work.
    @arokem
    arokem committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    8f5e6c2 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. Fixes typo.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    561f2ab View commit details
    Browse the repository at this point in the history

  2. Docker repository name has to be all lower-case.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    cb65350 View commit details
    Browse the repository at this point in the history

  3. Refer to the correct FROM image.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    0286508 View commit details
    Browse the repository at this point in the history

  4. Build/install the thing with pip.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    6eea6e8 View commit details
    Browse the repository at this point in the history

  5. Change into this directory.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    0547ee9 View commit details
    Browse the repository at this point in the history

  6. Copy everything.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    d6148aa View commit details
    Browse the repository at this point in the history

  7. Possibly even simpler.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    3a6d225 View commit details
    Browse the repository at this point in the history

  8. Maybe I am trying to get a path relative to the Dockerfile.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    df68f27 View commit details
    Browse the repository at this point in the history

  9. Maybe we use the shell script to get this commit.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    dd2ecb2 View commit details
    Browse the repository at this point in the history

  10. Getting this particular commit may prove tricky. 

    It looks like we might need to know where it comes from more precisely.
    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    15226cb View commit details
    Browse the repository at this point in the history

  11. Need to get the pybind11 submodule.

    @arokem
    arokem committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    0196cce View commit details
    Browse the repository at this point in the history