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

Rewrite Docker pipeline #2404

Merged
merged 34 commits into from
Oct 17, 2022
Merged

Rewrite Docker pipeline #2404

merged 34 commits into from
Oct 17, 2022

Commits on Oct 13, 2022

  1. Rewrite Docker pipeline

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    04963b6 View commit details
    Browse the repository at this point in the history

  2. Tweaks.

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    12d4406 View commit details
    Browse the repository at this point in the history

  3. Syntax fix

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    2c1f895 View commit details
    Browse the repository at this point in the history

  4. Tidy

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    775da8e View commit details
    Browse the repository at this point in the history

  5. yamllint

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    24091d4 View commit details
    Browse the repository at this point in the history

  6. actionlint

    @jhale
    jhale committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    9f98039 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. Also push some images to ghcr.io

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    32708a5 View commit details
    Browse the repository at this point in the history

  2. Fix

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    84c06fa View commit details
    Browse the repository at this point in the history

  3. Syntax fix

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    594e6b0 View commit details
    Browse the repository at this point in the history

  4. Fix username/token for dockerhub

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    2013c76 View commit details
    Browse the repository at this point in the history

  5. Tweaks.

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    ca719eb View commit details
    Browse the repository at this point in the history

  6. Fix cache type=

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    a4739ea View commit details
    Browse the repository at this point in the history

  7. Add dummy option for testing CI.

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    9e72c74 View commit details
    Browse the repository at this point in the history

  8. Try fixing boolean

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    1c369bf View commit details
    Browse the repository at this point in the history

  9. Try strings...

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    b12d4d8 View commit details
    Browse the repository at this point in the history

  10. Try string Dockerfile

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    86a8f2b View commit details
    Browse the repository at this point in the history

  11. Typo

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    2e9ea6e View commit details
    Browse the repository at this point in the history

  12. Try GITHUB_TOKEN

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    8d6dcda View commit details
    Browse the repository at this point in the history

  13. quote string

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    4d02c5e View commit details
    Browse the repository at this point in the history

  14. Fix.

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    cb35d6e View commit details
    Browse the repository at this point in the history

  15. Get default Dockerfile if not running workflow dispatch

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    994f395 View commit details
    Browse the repository at this point in the history

  16. Fix

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    90fd47e View commit details
    Browse the repository at this point in the history

  17. Typos

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    2255dda View commit details
    Browse the repository at this point in the history

  18. Typo

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    d07a836 View commit details
    Browse the repository at this point in the history

  19. Make user enter this themselves (stops accidents).

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    51d2af9 View commit details
    Browse the repository at this point in the history

  20. Merge branch 'main' into jhale/rewrite-docker-pipeline

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    a3e4df0 View commit details
    Browse the repository at this point in the history

  21. Typo

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    8db1f2c View commit details
    Browse the repository at this point in the history

  22. Merge branch 'jhale/rewrite-docker-pipeline' of github.com:FEniCS/dol… 

    …finx into jhale/rewrite-docker-pipeline
    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    19e8f84 View commit details
    Browse the repository at this point in the history

  23. Fix typo

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    2247ea6 View commit details
    Browse the repository at this point in the history

  24. Try pushing non-user images to ghcr.io/fenics

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    0b0d774 View commit details
    Browse the repository at this point in the history

  25. Fix.

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    54b3e9c View commit details
    Browse the repository at this point in the history

  26. Make dev-env:nightly the same as MPICH

    @jhale
    jhale committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    151932b View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2022

  1. Merge branch 'main' into jhale/rewrite-docker-pipeline

    @jorgensd
    jorgensd committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    1969fa2 View commit details
    Browse the repository at this point in the history

  2. Address Jorgen's comments.

    @jhale
    jhale committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    a0be59c View commit details
    Browse the repository at this point in the history