[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 9769b9: [build] change RUST wa
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 9769b9: [build] change RUST warning checks |
|
Date: |
Mon, 17 Dec 2018 10:32:11 -0800 |
Branch: refs/heads/fix_rust
Home: https://github.com/paparazzi/paparazzi
Commit: 9769b981d624bba0dd45b80bc31e44bdcb7c2599
https://github.com/paparazzi/paparazzi/commit/9769b981d624bba0dd45b80bc31e44bdcb7c2599
Author: Gautier Hattenberger <address@hidden>
Date: 2018-12-14 (Fri, 14 Dec 2018)
Changed paths:
M Makefile.ac
Log Message:
-----------
[build] change RUST warning checks
don't print anything when rust is not needed
Commit: a3a9ad053569ee6902efcc25b1331093385acdf0
https://github.com/paparazzi/paparazzi/commit/a3a9ad053569ee6902efcc25b1331093385acdf0
Author: Gautier Hattenberger <address@hidden>
Date: 2018-12-15 (Sat, 15 Dec 2018)
Changed paths:
M docker/ci/Dockerfile
Log Message:
-----------
[docker] add rustup install for CI build
Commit: e07e6b46e75e045424a41c5251d11012beb8f27e
https://github.com/paparazzi/paparazzi/commit/e07e6b46e75e045424a41c5251d11012beb8f27e
Author: Gautier Hattenberger <address@hidden>
Date: 2018-12-16 (Sun, 16 Dec 2018)
Changed paths:
M docker/ci/Dockerfile
Log Message:
-----------
[docker] properly export PATH
Commit: d875cc73a87c467c6def6604dad0a28f661535d1
https://github.com/paparazzi/paparazzi/commit/d875cc73a87c467c6def6604dad0a28f661535d1
Author: Gautier Hattenberger <address@hidden>
Date: 2018-12-16 (Sun, 16 Dec 2018)
Changed paths:
M docker/ci/Dockerfile
Log Message:
-----------
[docker] back to sourcing cargo env
Commit: 4c1f0b5aa747994f0f7094b32ff4432eb4b29a80
https://github.com/paparazzi/paparazzi/commit/4c1f0b5aa747994f0f7094b32ff4432eb4b29a80
Author: Michal Podhradsky <address@hidden>
Date: 2018-12-17 (Mon, 17 Dec 2018)
Changed paths:
M Makefile.ac
M docker/ci/Dockerfile
Log Message:
-----------
Try with latest master
Compare:
https://github.com/paparazzi/paparazzi/compare/0c07588e207e...4c1f0b5aa747
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.