Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • bump-rust
  • add_serde
  • doc-joss
  • fine-fri-measures
  • multithread
  • transpose-matrices
  • fri-encode-opt
  • paper-joss
  • paper-jors
  • fri-bad-parameters
  • fri-results
  • paper-typst
  • 1.0.1
  • 1.0.0
  • 1.0-alpha
  • 0.3.0
  • 0.1.0-pairing
  • 0.2.0
  • 0.1.0
20 results
Blame Permalink
Forked from Dragoon / Komodo
Source project has a limited visibility.
  • STEVAN Antoine's avatar
    e0fb0f81
    fix the installation of Rust in the CI (!42) · e0fb0f81
    STEVAN Antoine authored 
    !39 and !40 changed the CI to use a _toolchain_ file.

however, having `default` as the `$.profile` causes extra useless components to be installed.

this MR sets the `$.profile` to `minimal` in the _toolchain_ file and the `$.components` to `rustfmt` and `clippy`.
    e0fb0f81
    History
    fix the installation of Rust in the CI (!42)
    STEVAN Antoine authored 
    !39 and !40 changed the CI to use a _toolchain_ file.

however, having `default` as the `$.profile` causes extra useless components to be installed.

this MR sets the `$.profile` to `minimal` in the _toolchain_ file and the `$.components` to `rustfmt` and `clippy`.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.