Historique des commits

Auteur SHA1 Message Date
  Mokhtar Naamani 9cba30c3ae factor out runtime profile features check from bash scripts il y a 2 ans
  Mokhtar Naamani fa0acbbf01 add playground runtime profile il y a 2 ans
  Mokhtar Naamani b50a6a4c3c implement runtime profile conditional compilation il y a 2 ans
  Mokhtar Naamani ccb6949706 WIP il y a 2 ans
  Mokhtar Naamani dda5ff9f04 do not build with benchmark feature flag il y a 2 ans
  ignazio 863401544b fixed weights il y a 2 ans
  Mokhtar Naamani 9178ccb1a7 pass ALL_PROPOSALS_PARAMETERS_JSON as build arg to dockerfile il y a 2 ans
  Mokhtar Naamani f7be0e2fb8 rollback to rust nightly-2021-02-20 il y a 2 ans
  Mokhtar Naamani f7e53e4dba rust nightly-2021-03-24 il y a 3 ans
  Mokhtar Naamani 7dbd43ef30 rustc 1.52 and nightly-2021-02-20 il y a 3 ans
  Mokhtar Naamani 9fc9696b3d update to rustc 1.47.0 and nightly-2020-10-06 il y a 3 ans
  Mokhtar Naamani abd09e073e build script and github workflow cleanup - drop use of ansible il y a 4 ans
  Mokhtar Naamani da3243fa0a build scripts: use correct rust nightly toolchain il y a 4 ans
  Mokhtar Naamani 0ad8eb24b5 build scripts: restore to using stable for test and clippy il y a 4 ans
  Mokhtar Naamani 421ff7be45 travis, build scripts use nightly il y a 4 ans