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

Documentation; update flake; wip vagrant #4

Merged
merged 8 commits into from
Apr 21, 2024
Merged

Documentation; update flake; wip vagrant #4

merged 8 commits into from
Apr 21, 2024

Commits on Apr 21, 2024

  1. documentation

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    146fc7c View commit details
    Browse the repository at this point in the history
  2. Documentation

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    6bb119c View commit details
    Browse the repository at this point in the history
  3. update README.md

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    70afe37 View commit details
    Browse the repository at this point in the history
  4. Remove rec-benchmarks

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    b123f85 View commit details
    Browse the repository at this point in the history
  5. doc todo

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    52285cd View commit details
    Browse the repository at this point in the history
  6. remove old file

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    d5bb848 View commit details
    Browse the repository at this point in the history
  7. update flake; use stdpp 1.10

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    85e28ef View commit details
    Browse the repository at this point in the history
  8. vagrant directory

    h0nzZik committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    970d498 View commit details
    Browse the repository at this point in the history