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

Update CI scripts #17

Merged
merged 3 commits into from Aug 4, 2020
Merged

Update CI scripts #17

merged 3 commits into from Aug 4, 2020

Commits on Aug 4, 2020

  1. Update CI scripts

    @at-wat
    at-wat committed Aug 4, 2020
    Configuration menu
    Copy the full SHA
    38f3460 View commit details
    Browse the repository at this point in the history

  2. Fix docker build

    @at-wat
    at-wat committed Aug 4, 2020
    Configuration menu
    Copy the full SHA
    c4d6594 View commit details
    Browse the repository at this point in the history

  3. Fix Dockerfile

    @at-wat
    at-wat committed Aug 4, 2020
    Configuration menu
    Copy the full SHA
    e6f1102 View commit details
    Browse the repository at this point in the history