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

cleanup: use input/output for host function arguments and results, cleanup basic documentation #5

Merged
merged 8 commits into from
Sep 22, 2023

Commits on Sep 21, 2023

  1. Configuration menu
    Copy the full SHA
    478a2d5 View commit details
    Browse the repository at this point in the history
  2. fix: update mli file

    zshipko committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    08ad074 View commit details
    Browse the repository at this point in the history
  3. ci: add more caching

    zshipko committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    edff113 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f9611e4 View commit details
    Browse the repository at this point in the history
  5. ci

    zshipko committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    2617de9 View commit details
    Browse the repository at this point in the history
  6. ci

    zshipko committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    1860e55 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. doc: cleanup docs a little

    zshipko committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    ead9a27 View commit details
    Browse the repository at this point in the history
  2. ci

    zshipko committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0660e09 View commit details
    Browse the repository at this point in the history