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.

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

dsce with a makefile #2

Draft
wants to merge 22 commits into
base: main
Choose a base branch
from
Draft

dsce with a makefile #2

wants to merge 22 commits into from

Commits on Aug 5, 2023

  1. dsce with a makefile

    dhinakg committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    7ce394e View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Add workflows

    dhinakg committed Aug 7, 2023
    1 Configuration menu
    Copy the full SHA
    5c0792a View commit details
    Browse the repository at this point in the history
  2. Switch to submodules

    dhinakg committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    4afc762 View commit details
    Browse the repository at this point in the history
  3. Add submodules

    dhinakg committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    12c215a View commit details
    Browse the repository at this point in the history
  4. recursive checkout

    dhinakg committed Aug 7, 2023
    1 Configuration menu
    Copy the full SHA
    af1a11a View commit details
    Browse the repository at this point in the history
  5. use ubuntu for format

    dhinakg committed Aug 7, 2023
    1 Configuration menu
    Copy the full SHA
    1b67fc2 View commit details
    Browse the repository at this point in the history
  6. disable thread comments

    dhinakg committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    c694504 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Cache LLVM

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    149dd2e View commit details
    Browse the repository at this point in the history
  2. fix issues

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    2218056 View commit details
    Browse the repository at this point in the history
  3. add comment

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    ef3ede4 View commit details
    Browse the repository at this point in the history
  4. fix typo

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    a448ed5 View commit details
    Browse the repository at this point in the history
  5. Better caching

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c460c03 View commit details
    Browse the repository at this point in the history
  6. use sudo

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c51d119 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7d6c4f2 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    a6bf125 View commit details
    Browse the repository at this point in the history
  9. update caching

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    ed27fe9 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    5cecb67 View commit details
    Browse the repository at this point in the history
  11. set permissions, again

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    20b1c5c View commit details
    Browse the repository at this point in the history
  12. remove extraneous source

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    353d882 View commit details
    Browse the repository at this point in the history
  13. don't bother caching lists

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    d32c393 View commit details
    Browse the repository at this point in the history
  14. Remove key downloaded check

    dhinakg committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    8d64d80 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Configuration menu
    Copy the full SHA
    2dccc58 View commit details
    Browse the repository at this point in the history