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

New dockerfile #77

Open
wants to merge 13 commits into
base: trunk
Choose a base branch
from
Open

New dockerfile #77

wants to merge 13 commits into from

Commits on Mar 12, 2024

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

Commits on Mar 13, 2024

  1. resolve some comments

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    98e6c79 View commit details
    Browse the repository at this point in the history
  2. use rustflags better

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    d0dd29a View commit details
    Browse the repository at this point in the history
  3. add rust-src

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    bf67804 View commit details
    Browse the repository at this point in the history
  4. use nightly rust

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    144fc63 View commit details
    Browse the repository at this point in the history
  5. small fix

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    03d2d94 View commit details
    Browse the repository at this point in the history
  6. update lock file

    Erk- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    93d22c6 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    490a201 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. clarify comment

    Erk- committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    84551e8 View commit details
    Browse the repository at this point in the history
  2. try something

    Erk- committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    26cdeed View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. rerun

    Erk- committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    720d1bd View commit details
    Browse the repository at this point in the history
  2. don't run pr commits twice

    Erk- committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    0428043 View commit details
    Browse the repository at this point in the history
  3. remove compiler_plugins_c

    Erk- committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    2dcccca View commit details
    Browse the repository at this point in the history