mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-10-02 12:23:17 +08:00
Docker update / build_docker_image (push) Canceled after 0s
Doxygen / build (push) Canceled after 0s
This is temporary solution for testing and developping tools before integrating to paparazzi-dev package.