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

Add continuous integration #10

Closed
wants to merge 9 commits into from
Closed

Add continuous integration #10

wants to merge 9 commits into from

Commits on Oct 9, 2019

  1. Configuration menu
    Copy the full SHA
    715fc13 View commit details
    Browse the repository at this point in the history
  2. draft configuration

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    c9ad977 View commit details
    Browse the repository at this point in the history
  3. draft configuration

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    6c7bda6 View commit details
    Browse the repository at this point in the history
  4. draft configuration

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    fc2d142 View commit details
    Browse the repository at this point in the history
  5. draft configuration

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    1bb6657 View commit details
    Browse the repository at this point in the history
  6. fixup makefile

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    2179f15 View commit details
    Browse the repository at this point in the history
  7. draft configuration

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    2b95f20 View commit details
    Browse the repository at this point in the history
  8. updata submodule

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    d2d5cdd View commit details
    Browse the repository at this point in the history
  9. updata submodule

    tobrun committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    599b300 View commit details
    Browse the repository at this point in the history