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