Skip to content
This repository has been archived by the owner on Jun 7, 2023. It is now read-only.

Restructure CI and add DevContainer build automation #116

Merged
merged 24 commits into from
May 19, 2023

Commits on May 12, 2023

  1. Configuration menu
    Copy the full SHA
    ad47c21 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bc852de View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    257939f View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. Configuration menu
    Copy the full SHA
    6194478 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    170830c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    dba21b8 View commit details
    Browse the repository at this point in the history
  4. Try again.

    guzman-raphael committed May 15, 2023
    Configuration menu
    Copy the full SHA
    2713067 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    81a6fcb View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Debug CI trigger.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    e131daf View commit details
    Browse the repository at this point in the history
  2. Fix typo.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    b22d723 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3845069 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    01354dd View commit details
    Browse the repository at this point in the history
  5. Trigger new CI run.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    50bb80b View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2ac6059 View commit details
    Browse the repository at this point in the history
  7. Add test runs on PR.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    7415e11 View commit details
    Browse the repository at this point in the history
  8. Fix merge conflicts.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    d77df4f View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    649a7f3 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    2bcb050 View commit details
    Browse the repository at this point in the history
  11. Pass secret along.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    7d0459e View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    19c1abd View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    9fdeb6b View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    0105bae View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    28d277f View commit details
    Browse the repository at this point in the history
  16. Update doc.

    guzman-raphael committed May 16, 2023
    Configuration menu
    Copy the full SHA
    fad3f36 View commit details
    Browse the repository at this point in the history